The meaning of proofs mathematics as storytelling - Lolli, Gabriele 1942- (The MIT Press, 2022)