tan*** 发言

程序问题和逻辑问题本身就是彼此交融，只是外在制约和内部推理的区别。二者目的是统一的，即是为了实现公正的审判。殊途同归。