mod-fact and rem-rule do nothing when there's no change