Formal Example Cookbook (4)