Formal Example Cookbook (25)