Formal Example Cookbook (51)