A pro-form is a type of function wor or expression that stands in for (expresses the same content as) another word, phrase, clause, or sentence whose meaning is recoverable from the context. They are used either to avoid repetitive expressions or in quantification (limiting the variables of a proposition).