Add term ordering