A schema is an expression satisfying the grammatical rules of our language except for the occurrence of metavariables (written here as Greek letters) in place of various subparts of the expression. For example, the expression (φ ⇒ ψ) is a schema with metavariables φ and ψ.