The middle of every successful project looks like a disaster.
"We die. That may be the meaning of life. But we do language. That may be the measure of our lives."
My motivation comes from my love for the game.
Rigor in proof is what separates mathematics from all other sciences.