Where used:
State Change And Event Model
isPrestateFor / hasPrestate
State
isPrestateFor
State Change
State Change
hasPrestate
State