Removed locality stuff and total order.