引自孟德斯鸠,刘凯湘在《民法总论》中引用并阐释其意义
真正的作家不是为了名声而写作,而是为了表达内心的真实。
Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.