Abstraction can be learned with purpose, eg if they want to program physical movement in a game, X and y need to be variables, not because we are just using abstraction for the fun of it. Even proofs can have meaning and purpose if you can show how they are useful. Algebra, calculus, liberal algebra at least, all make more sense (and easier to accept by new learners) when you actually use them to do something.