要依靠道德治理国家。这样就像北极星一样，虽然固定在一个地方不动，但群星却甘愿环绕在它周围。
遗忘就是背叛，铭记就是抵抗。
"The truth is not always the most important thing; sometimes, what matters is what people believe to be true."
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
"Children's literature is the foundation of the imagination, the birthplace of creativity, and the first step towards a lifelong love of reading."
I have to remind myself that some birds aren't meant to be caged. Their feathers are just too bright. And when they fly away, the part of you that knows it was a sin to lock them up DOES rejoice. Still, the place you live in is that much more drab and empty that they're gone. I guess I just miss my friend.
Three grand essentials to happiness in this life are something to do, something to love, and something to hope for.
La vertu, même opprimée, est toujours vertu.