Formal Example Cookbook (46)