working on asynchronous partial state event abstraction section