"Those who have racked their brains to discover new proofs have perhaps been induced to do so by a compulsion they could not quite explain to themselves. Instead of giving us their new proofs they should have explained to us the motivation that constrained them to search for them."