夜觉晓非，今悔昨失。
夜晚觉察到早晨的错误，今日悔恨昨日的过失。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
译文：在集市中是没有老虎的，这是人们都明了的，可是经过多个人的谣传，就像真的有老虎一样。
宇宙是不对称的，我相信我们所知道的生命是宇宙不对称的直接结果或其间接后果。
市场总是对的；你的任务是正确解读它。