Formal Example Cookbook (18)