Formal Example Cookbook (56)