最根本的道理往往是最简单的,但其衍化出来的现象却非常复杂。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
为爱而爱,是神;为被爱而爱,是人。