The challenge in model checking is not just to find errors, but to understand why they occur.
宇宙、天地，有它自然的运行规律，是持久不变的，不会以人的意志为转移，它既不会因为有像尧那样的仁德君主而存在，也不会因为有像夏桀那样残暴的君主而消失。顺应自然规律来治理国家，就会获得吉祥；如果违背自然规律，就会招来灾难。
Reason is， and ought only to be the slave of the passions， and can never pretend to any other office than to serve and obey them.
Love is not about finding a perfect person, but about learning to see an imperfect person perfectly.
As much as child e'er loved, or father found.
The culture industry not so much adapts to the reactions of its customers as it adjusts them.
他的诗，如同几何圆规般，画著圆，时而亲密贴近，时而广及全球，唯一不变的是，圆规的尖端总是插定在囚室里。
I'm not a woman, I'm a force.