Silence is the language of god, all else is poor translation.
沉默是上帝的语言，其他一切都是拙劣的翻译。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
最好的电影是那些能让你感受到什么的电影。
But the eyes are blind. One must look with the heart.
永远不要把运动和行动混为一谈。