Formal Example Cookbook (41)