Formal Example Cookbook (65)