Formal Example Cookbook (9)