fix ltgteqRules (3)