Rawls's original position and Kant's categorical imperative procedure | Synapse