Formal Example Cookbook (26)