我们要做的是让互联网成为每个人的生活必需品。
Banks are special because they create money, and that's why they need special regulation.
The future of computing lies in the development of systems that can verify their own correctness.