Formal Example Cookbook (55)