我从未真正想过要成为一名导演。我只是想讲故事。
The future of computing lies in the development of systems that can verify their own correctness.