Step 3 is the complete Ramsey sentence, expressed "RTC," and to be read: "There are some (unspecified) relations such that TC ("x"1 . . . "x""n", "o"1 . . . "o""m") is satisfied when the variables are assigned these relations. (This is equivalent to an interpretation as an appropriate model: there are relations "r"1 . . . "r""n" such that TC ("x"1 . . . "x""n", "o"1 . . . "o""m") is satisfied when xi is assigned the value ri, and formula_4.)