The types who do ugly proofs, when they write code, produce spaghetti code. It's the same thought process going into how to approach something.