Formal Example Cookbook (54)