Formal Example Cookbook (21)