Formal Example Cookbook (22)