每一条法律都是对自由的侵犯。
Every law is an infraction of liberty.
国家间最重要的政治区别不在于其政府形式,而在于其政府程度。
The biggest risk is not taking any risk.
Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.