Formal Example Cookbook (49)