Removing the need for a total order.