Emacs is good. Research is good. Greed is good.
Prove them!