If you want to make a bond, you are to take the risk of tearing.
如果你想要与别人制造羁绊，就要承担流泪的风险。
The general population doesn't know what's happening, and it doesn't even know that it doesn't know.
模型检查是验证硬件和软件系统正确性的强大工具。
Silence is not always absence; sometimes it is the loudest presence.
解析：知行工夫本不可离。
我一直对人物的复杂性、使他们成为人类的层次感兴趣。
我们每个人都有责任。我们可能认为我们生活在远离海洋的地方，但我们没有。我们在这里所做的实际上对海洋有直接影响——而海洋所做的又会反过来影响我们。