Added in the equality/inequality solver