Formal Example Cookbook (6)