Choosing between different abstraction levels