The architect must be a dreamer.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
表演的本质是在想象的环境中真实地生活。
写作是保存过去真相的一种方式。