Could anything be more unattractive and inelegant? Could any argument be more obfuscatory and unreadable? This isn’t mathematics! A proof should be an epiphany from the gods, not a coded message from the Pentagon. This is what comes from a misplaced sense of logical rigor: ugliness.
