Formal Example Cookbook (37)