Formal Example Cookbook (42)