If it doesn't challenge you, it won't change you.

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

A man's work is nothing but this slow trek to rediscover, through the detours of art, those two or three great and simple images in whose presence his heart first opened.

心理学家必须是一个细致的观察者。

天地相互配合，才产生了万物；阴阳相互结合，世界才会变化；行为合乎礼仪，天下才能安定。

Inflation is the mechanism that can make the universe flat, homogeneous, and isotropic.