Another eg in abstraction levels.