Correct ST_OrderingEquals