Added total ordering.