let transition_rule = transition_rule_antimaj