The poem is an inner image that emerges into words.
我不需要理由去相信自己。
追求科学不仅仅是追求理解。它是追求奇迹。
诗人的笔比战士的剑更有力。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
是我们的选择而非能力,真正展现了我们是谁。