Formal Example Cookbook (29)