Point 8 seems a bit unfair - the proof author's comments to me seemed to be 'confirmations of receipt' have started arriving (not confirmations of validation) a

Point 8 seems a bit unfair - the proof author's comments to me seemed to be 'confirmations of receipt' have started arriving (not confirmations of validation) and 'as you know this problem has philosophical ramifications' (not 'I have forever changed the philosophical landscape'). Otherwise seems like a neat article, maybe I should memorize the other points, could come in handy at dinner parties (cause I, like a lot of other people over the last week, don't know wtf any of this mathematical stuff really means).