One abstraction level up