Happiness, like unhappiness, is a proactive choice.
Theorems are eternal; their proofs are ephemeral.