Formal Example Cookbook (28)