Formal Example Cookbook (8)