Formal Example Cookbook (15)