Formal Example Cookbook (33)