Formal Example Cookbook (60)