 In his analysis of the Liar paradox, Russell assumed that there exists a true entity—the proposition—that is presupposed by a genuine statement (e.g., when I say that Socrates is mortal, there is a fact corresponding to my assertion and it is this fact that is called ‘proposition’). The same holds if the statement is false, but not in the case where the statement itself contains quantified variables.