Did you know that Ṭūsī was the first one to recognize that, if a declarative sentence that declares itself being false, is false, this does not necessitate it being true?