Formal Example Cookbook (31)