，乐而不淫，哀而不伤。《论语》
《关睢》这首诗，快乐而不过分，哀婉而不伤恸。
模型检查是验证有限状态并发系统正确性的强大技术。
保持一颗永不僵硬的心，一种永不疲倦的性情，以及一种永不伤人的态度。
The key to success is to never stop learning.
我不完美 - 我也不假装完美
In the short run, the market is a voting machine but in the long run, it is a weighing machine.
The white race believes—believes with all its heart—that it is their right to take the land.
