Using strict (in)equalities