从“可能正确”到“可证明正确”。验证一切。