记忆不是忠实的记录;它是对过去的主动重建。
"Memory is not a faithful record; it is an active reconstruction of the past."
Sustained outrage makes you stupid.
Peace if possible, truth at all costs.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。