Formal Example Cookbook (32)