没有所谓的空的空间或空的时间。总有东西可看，有东西可听。
能源转型是一个挑战，但对于那些准备好迎接它的人来说也是一个机会。
当我们破坏林地时，我们失去的不是树木，而是地球故事的篇章。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
世界上不存在大智慧，就像世界上不存在才华这个词，存在的是琐碎。重复的事情不停地做，你就是专家；做重复的事特别专注，你就是大家。