Describe:

Examples:

A proof template is like a “recipe”.