Transition destination_state State