诗人的任务是照亮黑暗。
Ever tried. Ever failed. No matter. Try again. Fail again. Fail better.
我们都是破碎的,这就是光进来的地方。
A novel is not just a story; it is a mirror held up to society.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。