Remove total-ordering assumption.