[math-fun] misplaced concreteness