minimum_necessary_rule