Formal Example Cookbook (11)