Words and deeds are not separate， but intimately connected.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

建筑是一种对抗自然的艺术，但同时也是与自然和谐共处的艺术。

自然界无处可憎或卑劣，而是处处令人赞叹且无穷无尽。

A sober looks shows that just have the world gotten to be a better place after all; it is also grown a bit worse at the exact same rate.; a one step up, a one step back sort of cosmic balance between forward progress, and cultural retreat, that puts man kind on a bell curve of existence.

I think about the space between the body and the world.