没有艺术；没有文学；没有社会；最糟糕的是，持续不断的恐惧和暴死的危险；人的生活孤独、贫困、卑污、残忍而短寿。
No arts; no letters; no society; and which is worst of all, continual fear, and danger of violent death; and the life of man, solitary, poor, nasty, brutish, and short.
生活对我们任何人来说都不容易。但那又怎样？我们必须有毅力，最重要的是对自己有信心。我们必须相信我们在某方面是有天赋的，而且这个目标必须实现。
The challenge in model checking is not just to find errors, but to understand why they occur.
Trust is built through transparency and consistency.
我相信真实的力量。
【释义】玉的瑕疵掩盖不了它的光泽，玉的光泽也掩盖不了它的瑕疵。