没人会和你自己一样对你所拥有的东西印象深刻。（Morgan Housel《金钱心理学》里面的一句话，可以理解为禀赋效应：即，由于情感上的偏见，人们在自己已经拥有的东西上比尚未获得的东西拥有更大的价值）
No one is as impressed with your possessions as you are.
要么忙着活，要么忙着死，人只有两种选择。
"世界上充满了面带友好的怪物。"
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
The clothes we wear should reflect the world we want to live in.
今日世界上最会嘲笑人的便是报纸。每天我们打开报纸，都能看到那些把生活搞砸的人，他们与错误对象共枕，使用错误药物，通过错误法案种种，让人在茶余饭后拿来挖苦的新闻，这些人失败了，我们称他们为“失败者”，还有其它做法吗？西方传统给了我们一个光荣的选择，就是“悲剧”。