Formal Example Cookbook (10)