continuing abstraction