Formal Example Cookbook (35)