Free terms in formal systems can be treated as schematic variables ranging over all possible values,...