If memories had a smell, it would be the fragrance of camphor, sweet and secure, like clearly remembered happiness, sweet and melancholy, like forgotten sorrow.
回忆这东西若是有气味的话，那就是樟脑的香，甜而稳妥，像记得分明的快乐，甜而怅惘，像忘却了的忧愁。
In a world filled with hate, we must still dare to hope. In a world filled with anger, we must still dare to comfort. In a world filled with despair, we must still dare to dream. In a world filled with distrust, we must still dare to believe.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
I don't really care what people say about me. I know who I am.
我们都是陌生人，甚至对自己来说也是。