finished total ordering