人生は、一度きりの旅。後悔しないように、思い切って生きよう。
人生是一次性的旅行，让我们勇敢地生活，不留遗憾。
拥有得越多，欲望就越大。
The challenge in model checking is not just to find errors, but to understand why they occur.
Color is my day-long obsession, joy, and torment.
每一代人都应视地球为信托。
仇恨是一种诅咒，它不会影响被仇恨的人，只会毒害仇恨别人的那个人。把仇恨当作一种毒药吧。
最好的领导者是那些倾听多于发言，并以诚信行事的人。