形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

The novel is a perfect medium for revealing to us the changing rainbow of our living relationships.

"Books are the quietest and most constant of friends; they are the most accessible and wisest of counselors, and the most patient of teachers."

出自先秦《荀子·儒效》。对于所知道的东西就说知道，不知道的就说不知道；这样，对内是不欺骗自己的良心，对外是不欺骗他人。说明为人应当诚实的道理。

我不是因为快乐而歌唱，我歌唱是因为我快乐。

I have paved the way for you. Just walk on it.

艺术是最高形式的希望。