Situation: I have indeed verified that John is wrong.