Every artist dips his brush in his own soul, and paints his own nature into his pictures.
每个艺术家都将画笔浸入自己的灵魂，并将自己的本性画入画中。
We are all in the gutter, but some of us are looking at the stars.
模型检查是验证有限状态并发系统正确性的强大技术。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
写作的艺术是发现一个人所相信的东西的艺术。
