世界上充满了显而易见的事物,却没有人注意到它们。
The future of computing lies in the development of systems that can verify their own correctness.