Formal Example Cookbook (7)