 This sentence is part of a proposal to draw the analytic-synthetic distinction at the global level of a scientific theory (as this distinction proved not to be applicable to single axioms): the analytic part of the theory is given by its Carnap sentence \(A_T\), whereas the synthetic part is identified with the theory’s Ramsey sentence in light of Proposition 1. Carnap (1958) wants \(A_T\) to be understood as follows: if the Ramsey sentence is true, then the theoretical terms be interpreted such that TC comes out true as well. So, on condition of \(\TC^R\) being true, we can recover the original formulation of the theory in which the theoretical terms occur as constants. For, obviously, TC is derivable from \(\TC^R\) and \(A_T\) using Modus Ponens.