The best companies are those that solve real problems for real people.
Theorems are eternal; their proofs are ephemeral.