Formal Example Cookbook (13)