 There thus remains the challenge of relating the apparent use of theoretical terms in deductive scientific reasoning to the Ramsey formulation of scientific theories. Carnap was well aware of this challenge and addressed it using a sentence that became labeled later on the Carnap sentence of a scientific theory (Carnap 1958; 1966: ch. 23):