I’m here to build something for the long-term. Anything else is a distraction.
Theorems are eternal; their proofs are ephemeral.