The pursuit of mathematical truth is a noble endeavor.
I'm not interested in making beautiful objects, I'm interested in making meaningful systems.