在小绿皮和三大本中，关于刑诉法工具价值里都提到一点：设计程序系统以减免实体误差。这句话是什么意思？