Overfishing is a theft from future generations—we must be the generation that stops it.

模型检查是验证有限状态并发系统正确性的强大技术。

我相信每个人类都有有限的心跳。我不打算浪费我的心跳跑来跑去做运动。

我不是为评论家做音乐，而是为需要它的人。

Every match is a new opportunity to prove yourself.

道德的营养不良和精神的中毒对人的心灵的危害，正如身体的营养不良对于身体健康的危害一样。