agreed! it's funny, i'm returning to some of the maths i studied in undergrad with a bit more "worldly" knowledge (if you can call comp sci academia knowledge "worldly"), and i'm seeing that so so much of the stuff that was confusing was actually just trying to frame really intuitive properties. of course, the language to do so rigorously can be very dense and terse and difficult to get through, but at the end of the day, mathematicians are often trying to do some very simple things.

for example, intuitively, i and j are _basically_ the same "shape" as one another, and f and c and s and v are _basically_ the same "shape" as each other, but the two sets of shapes are definitely _not_ the same as one another...to quantify this and actually capture it in math you gotta do topology, and once you get past the point set stuff it gets real abstract real fast. but they really just wanna say "hey, my donut kinda looks like my coffee mug".