reduced in rules with refactor