let transition_rule = transition_rule