Formal Example Cookbook (19)