When is a proof a satisfactory explanation for the reader?