[raincom]

"Hard work" is not just rigor and formalism. Hard work is going through a lot of intuitive models that turn out to be false. If seen this way, the comment you respond to, makes sense.