Formal Example Cookbook (34)