A building should be a filter of light, not just a container of space.
太陽(yáng)是是帝的生命，是詩(shī)歌，是光明。
I tend to like things that already exist.
數(shù)學(xué)是上帝用來(lái)書(shū)寫(xiě)宇宙的語(yǔ)言。
The challenge in model checking is not just to find errors, but to understand why they occur.