Obrigatoriedade da regra de transição