有时最小的东西占据了心中最大的空间。
童年是文学最初也是最后的边疆。
The challenge in model checking is not just to find errors, but to understand why they occur.
写作就是重写。
The truth is often hidden in the details.