Formal Example Cookbook