Formal Example Cookbook (2)