The Meaning of Proofs: Mathematics as Storytelling