The beauty of science is that it allows us to see the world not as it is, but as it could be.
世界上最好和最美丽的东西是看不见甚至摸不到的——它们必须用心去感受。
制作电影是试图与世界沟通,分享一个愿景、一个梦想、一个噩梦。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。