Formal Example Cookbook (14)