次要规则是那些规定主要规则的创建、修改和废止的规则。

墨翟我上没有侍奉国君的差事，下没有耕田种地的艰难，我怎么敢放弃读书呢？ 

愛とは、相手を理解しようとすることだ。

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

蛋糕不仅仅是糖和面粉，它是分享的幸福时刻。

In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.

最大的痛苦是无知。