You can think of a proof as a social compact — a sort of mutual agreement between the author and … More