Formal Example Cookbook (43)