简而言之:“我们需要远离乐观证明系统”