相信自己的想法,即使没有其他人相信。
The human being is always more than what he knows of himself.
"The future of system design lies in the integration of formal methods with traditional engineering practices."
最终,我们都是故事。重要的是我们如何讲述它们。