tragically a piece of math is invented not discovered iff it is sort of dumb