Formal Example Cookbook (5)