Formal Example Cookbook (48)