The most basic human desire is to be recognized as a human being, and the most basic human fear is to be treated as less than human.
最基本的人类渴望是被认可为人，而最基本的人类恐惧是被视为不如人。
The more you give, the more you get.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
I'm a person who likes to be exceptional.
我认为最好的学习方法就是实践。
最少的材料，最大的效果。
Music is the moonlight in the gloomy night of life.