 He then goes on to defend his theory by “dealing” with the three puzzles including the famous example of whether “The present King of France is bald” is true or false. At no point does he appeal to what a speaker may have in mind upon uttering one of these sentences. As a result of these facts, it seems that Russell’s methodology is best understood by analogy with the logical approach to scientific theories. On this model the result of “logical analysis” will be the definitions and primitive propositions or axioms from which the laws of a formalized scientific theory can be derived by logical inference. The reduction of one theory to another consists of rewriting the axioms of the target theory using the language of the reducing theory, and then proving them as theorems of that reducing theory. Construction, then, is best seen as the process of choosing definitions so that previously primitive statements can be derived as theorems. (See Hager 1994 and Russell 1924.)