In the end, all stories are about the search for meaning.
A mathematical proof is a poem written in the language of logic.