信仰是对上帝恩典的一种活生生的、大胆的信任，如此确定和肯定，以至于一个人可以一千次赌上自己的生命。
Faith is a living, daring confidence in God's grace, so sure and certain that a man could stake his life on it a thousand times.
模型检查是验证硬件和软件系统正确性的强大工具。
The journey of scientific discovery is as important as the destination.
《诗经》说：“茂盛的桃树开着鲜艳的花朵，这位姑娘出嫁了，能与婆家和睦相处。”
我是早起的鸟儿，也是夜猫子。所以我既聪明又有虫子。
Always do sober what you said you'd do drunk. That will teach you to keep your mouth shut.
