Added another simplication rule.