process redundant rule, and some of TODO in factor isn't a new rule