Added reductions for <= and >=.