When a contradiction is impossible to resolve except by a lie, then we know that it is really a door.