 \(\alpha\), \(\beta\), and \(\gamma\) are variables for the terms of the secondary system and are interpreted purely extensionally, so that the theory states “There are extensions \(\alpha\), \(\beta\), and \(\gamma\) that satisfy the sentences of the dictionary and the axioms”. In contemporary presentations, the axioms are usually denoted \(T\) (for ‘theory’), the dictionary is denoted \(C\) (for ‘correspondence rules’), and the secondary terms \(T_1,\ldots ,T_n\) are treated as parameters in \(T\) and \(C\), so that the conjunction of axioms and dictionary is written as \(TC(T_1,\ldots ,T_n)\). What is now called the ‘Ramsey sentence’ \({TC}^R\) is then written as