Evil is not something that can be explained. It just is.
邪恶是无法解释的东西。它就是这样存在。
正义是一种非理性的理想。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
Don't bother just to be better than your contemporaries or predecessors. Try to be better than yourself.