is true, a state [...] with the next bus cycle clock [...] so that the state transition
states which call [...] conditions for a state [...] by inserting pseudo states