Architecture should speak of its time and place, but yearn for timelessness.
建筑应该讲述其时代和地点，但渴望永恒。
The challenge in model checking is not just to find errors, but to understand why they occur.
"To think is to confine yourself to a single thought."
写作是一种探索可能界限的方式。