Comment by skinner_

> You can skirt around not reasoning in research math because so much of it is just extremely tedious symbolic manipulation.

LOL