 that is, in the conjunction of all axioms and sentences of the dictionary, the theoretical terms \(T_1,\ldots ,T_n\) are replaced by variables \(X_1,\ldots ,X_n\) and bound by existential quantifiers. This procedure is now known as ‘Ramseyfication’ or ‘Ramsification’. If some of the theoretical terms are of the highest order (predicates or functions of \(n^{\mathrm{th}}\) order in \(n^{\mathrm{th}}\) order logic), then Ramseyfication increases the order of the theory by one. While higher-order existential quantification was commonly used to express consistency when Ramsey wrote “Theories”, he was the first to quantify on only some of the terms (Demopoulos 2003, 256).  Crucially, the Ramsey sentence contains no theoretical terms while still entailing the same primary statements as \(TC\) (for a simple proof, see Bohnert 1967, 342–43). Since all of \(TC\)’s sentences are in the scope of the existential quantifiers introduced during Ramseyfication, \({TC}^R\) does not assign meaning to individual secondary sentences or terms. However, we can still reason with them by deriving primary propositions from them within the scope of the quantifiers, just as we can derive propositions from variable hypotheses (1929a, [FM] 232; Bohnert 1967, 344–47). Hence secondary universal sentences are “at two removes” from propositions, and secondary sentences and terms are only meaningful in the context of the theory to which they belong (1931, 260).