Formal Example Cookbook (52)