Negation of Excluded Middle is False