Appendix | part of The Meaning of Proofs: Mathematics as Storytelling | MIT Press books | IEEE Xplore