应对不自由世界的唯一方法是变得如此绝对自由，以至于你的存在本身就是一种反叛。
Stop being afraid of what could go wrong and start being excited about what could go right.
解读：评判人不能只看风光时，更要看其落魄之际的姿态，能在困境保持尊严，坚守底线，才彰显真正的人格价值与生命韧性。
The challenge in model checking is not just to find errors, but to understand why they occur.
The true way is along a rope that is not spanned high in the air, but just above the ground. It seems intended more to cause stumbling than to be walked upon.