Working on total ordering