Two mutually exclusive statements, both claimed to be true