A mathematical proof is a poem written in the language of logic.
"We perceive not objects, but their utilities."