Formal Example Cookbook (16)