Formal Example Cookbook (45)