君子心中常常体会到的不是人情而是天理；君子口中所常说的不是人伦世故而是世间法理；君子常有的行为不是规矩而是行为的原则。
友谊不在于你认识谁最久，而在于谁走进你的生活说"我在这里支持你"，并且证明了这一点。
——2005年2月24日 斯洛伐克首都布拉迪斯拉发，在与美国总统布什共同举行的记者招待会上就布什批评俄罗斯民主而发言
生活就是当你忙于制定其他计划时发生的事情。
在独裁统治下，时间停滞不前。
Remember, hope is a good stuff, maybe the best thing, and no good stuff will fade away!
The challenge in model checking is not just to find errors, but to understand why they occur.