建筑应该诉说它的时代和地点，但渴望永恒。
Architecture should speak of its time and place, but yearn for timelessness.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
"The problem with being faster than light is that you can only live in darkness."
The path to success is to take massive, determined action.
Other holidays repose upon the past; Arbor Day proposes for the future.