Improving abstraction