A contractualist procedure that cannot adjudicate between universally burden-imposing options produc...