yes, but that makes the rule redundant