And Steve and I envisionthat such proof checkers get built into all our compute hardware, so it just becomes impossible to run very unsafe code.

史蒂夫和我设想这样的证明检查器会内置到我们所有的计算硬件中，因此不可能运行非常不安全的代码。