Well said.

I'd say the ability to take complicated definitions and to not have to through a rigorous definition every time the ideas are referenced are, in a sense a form of abstraction, and a necessary requirement to be able to do advanced Math in the first place.