Formal Example Cookbook (67)