remove total ordering