Simplicity is prerequisite for reliability.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
数字媒体没有取代绘画,它给了我们思考标记制作的新方式。
To me, painting is not about color at all; I’m interested in the quality of light.