1.add nextGEQ