Escribir es un acto de fe en la palabra y en el poder de la imaginación.

读书人如同国家的宝物，儒生就像宴席上的佳肴一样，值得珍重。

信仰是灵魂的眼睛。

In a state, the liberty of one citizen is a menace to the others.

人生的主要任务是诞生自己，成为我们潜在的样子。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

译文：高兴时说的话大多会丧失信用，愤怒时说的话大多会失大体。赏析：人在得意时容易忘形，说话无所不谈，此时说的话往往失真。人在极度愤怒时，思维混乱，言行大多不理智。所以，我们要防止在高兴时言多有失，防止愤怒时言多失态。