What has total order have to do with this?