I do not think it means what you think it means

(In case you don't know who Craig Thomson is.)

The statement:



The correction:





The comment: