Comment by maximumg9

That's not the same as talking with the person who would have made the proof, and it's hard to argue that's comparable at all.