Formal Example Cookbook (27)