Formal Example Cookbook (12)