I’m not frightened of falling in love. I’m frightened of not falling in love.
We are going to die, and that makes us the lucky ones. Most people are never going to die because they are never going to be born.
真相并不总是美丽的，美丽的言辞也不一定是真相。
外交的任务是延长决策的时间。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The arts are a way of making sense of the world.