It is remarkable how much long-term advantage people like us have gotten by trying to be consistently not stupid, instead of trying to be very intelligent.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
国君自以为神圣聪明,而不去咨询官吏,自以为国家安定强大,而不注重防守,周围的邻国图谋侵略他却不知道戒备。