Added setup
Added total ordering