 But if (1) Socrates says only the proposition that Socrates lies, and he says what is true, then it is true that Socrates lies. And if it is true that Socrates lies, Socrates says what is false. Therefore, if Socrates says only the proposition that Socrates lies, and he says what is true, he says what is false.