Formal Example Cookbook (40)