三、纯粹的程序正义：罗尔斯的分析