 Carnap showed that these definitions imply the Carnap sentence \(A_T\). Hence, they allow for direct recovery of the theoretical terms for the purpose of deductive reasoning on condition of the Ramsey sentence being true.