Contractarian procedure can itself constitute moral norms rather than presuppose them, as Scanlon's ...