Formal Example Cookbook (30)