The Liskov Substitution Principle is a fundamental concept in object-oriented programming, stating that objects of a superclass should be replaceable with objects of a subclass without affecting the correctness of the program.
宇宙是一个相当大的地方。如果只有我们，那似乎是对空间的极大浪费。
建筑是一项非常危险的工作。如果一个作家写了一本糟糕的书，那只是一本糟糕的书。但如果一个建筑师建了一栋糟糕的建筑，那就是糟糕的生活。
The challenge in model checking is not just to find errors, but to understand why they occur.
The best performances come from a place of truth and honesty.