> What about code that proves a complex, many page mathematical theorem? The hard part should be understanding the theorem. If you understand that and the code

> What about code that proves a complex, many page mathematical theorem? The hard part should be understanding the theorem. If you understand that and the code is still difficult, then the code should be better written. I guess one exception is when you're optimizing for performance and make an explicit decision to sacrifice maintainability.