模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
人只有在处于依赖状态的时候才是柔弱的，如果他无拘无束，不依赖他人的话，他早就是很强壮的了。
Climate change and overfishing are twin threats we must tackle together.
我们生活中的改变必须来自除了按照我们良心的要求生活之外别无选择。
艺术家是大自然的知己，花朵通过它们茎的优雅弯曲和花朵的和谐色调与他进行对话。