Formal Example Cookbook (44)