孔子曰：“君子有九思：视思明、听思聪、色思温、貌思恭、言思忠、事思敬、疑思问、忿思难、见得思义。”
【译文】 孔子说：“君子有九种事情要考虑：看要考虑是否看清楚了、听要考虑是否听清楚了、脸色要考虑是否温和、表情要考虑是否谦恭、言谈时要考虑是否忠诚、工作时要考虑是否敬业、疑问时要考虑请教、愤怒时要考虑后患、见到好处时要考虑道义。”
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
世界会打击每一个人，但经历过后，许多人会在受伤的地方变得更坚强。
最终重要的不是我们找到的答案，而是我们敢于提出的问题。