You even harvest the whole world, if no one to share with you, you will feel sad.
文学不是一场道德选美比赛。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
成功的投资需要坚定的信念和决策能力。
真相就像诗歌，而大多数人他妈讨厌诗歌。