一个谜团的核心不是犯罪，而是涉及的人。

The challenge in model checking is not just to find errors, but to understand why they occur.

Productivity is often a distraction. Don’t aim for better ways to get through your tasks as quickly as possible， rather aim for better tasks that you never want to stop doing.

问话不答或话说不停都是一般说话的病态，以莺歌燕语令人悦耳之语治疗。心中难舍或有所忘记，都是一种为情痴迷，要以鹰飞鱼跃的开阔气度化解。

智者虽然很善于谋划，但是不如能抓住时机。

世间的事情纷繁复杂难以预料，春天的忧愁让人黯然神伤独自入眠