Added total order parametrization.