 But if (2) Socrates says only the proposition that Socrates lies, and he says what is false, then it is false that Socrates says what is false. And if it is false that Socrates says what is false, Socrates does not say what is false. But if Socrates says only that he lies, he says either what is true or what is false. Therefore, if Socrates says he lies, he says what is true. Therefore, if Socrates says only that he lies, and he says what is false, then he says what is true.