History is not just about what happened, but about what is remembered and how.
历史不仅仅是关于发生了什么,而是关于被记住的内容和方式。
I stand up for what I believe in, and I don’t worry about what others think.
我不追随潮流,我创造潮流。
模型检查是验证硬件和软件系统正确性的强大工具。
When I am abroad, I always make it a rule never to criticize or attack the government of my own country。 I make up for lost time when I come home.