Sorry, I didn't want to argue against a straw man. You are right. I just wanted to indicate that in mathematics, we are much more often in such generic situations than in programming. Accordingly, I wanted to argue that the increased brevity in mathematics is to some extent to be expected.