Added OrderingEquality.