Formal Example Cookbook (39)