The surface of a painting is like a skin - it holds everything together.
"The act of remembering is a way of reclaiming our history and asserting our presence in the world."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
I don't care what people say about me, I know who I am.