合同本质上是不完全的,因为不可能预见所有未来的偶然事件。
If one hears bad music it is one's duty to drown it by one's conversation.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.