 where the ‘\(x\)’ is an object-language variable. The schema is essentially a recipe for generating syntactic instances. The ‘dummy letter’ ‘\(A\)’ in its template-text is just a placeholder for substituends (here, numerals). The ‘\(x\)’ in the open term, by contrast, is a variable ranging over objects (here, numbers). 