Formal Example Cookbook (69)