模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
——在广州全国青年联合会演说,1923年10月21日
A story should have a beginning, a middle, and an end, but not necessarily in that order.
The purpose of business is to create value, not just to make a profit.
I'm not a talk, I'm a song.
"To understand the living, you must commune with the dead."