When p and q jointly entail a contradiction, the correct response is to revise one belief, not infer...