state-abstraction