Where used:
State Change And Event Model
isPostStateFor / hasPostState
State
isPostStateFor
State Change
State Change
hasPostState
State