Control abstraction