  This work evidences that a sentence cannot be denominated by P and written as
P IS NOT TRUE. It demonstrates that in a system in which Q denominates the
sentence Q IS NOT PROVABLE it is not provable that Q is true and not provable.
