On Driving Students to Abstraction