Formal Example Cookbook (24)