信仰与看不见的事物有关，希望与尚未到来的事物有关。
Faith has to do with things that are not seen and hope with things that are not at hand.
小说是谎言中的真相。
Liberal democracy may constitute the "end point of mankind's ideological evolution" and the "final form of human government," and as such constituted the "end of history."
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
