implement @tschaub's suggestions for ieq and ineq