Is this the definition of a contradiction?