任何结果必须经由程序，这是合理表述。程序正义是个虚假的帽子。程序设定和执行是主观的，程序是否正义是个价值判断。

把价值判断的程序正义作为推导基础，后面推导出的结果仍然是价值判断。您可以说程序正义就是特指那些正确的程序，那些不正确的程序不在程序正义的范畴。这就是白马非马了。