but_state, but_transitions_for_each_state