Formal Example Cookbook (3)