The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
I am the happiest creature in the world. Perhaps other people have said so before, but not one with such justice. I am happier even than Jane; she only smiles, I laugh.
解释：冬天不洗冰水，并不是吝惜冰；夏天不烤火，也不是舍不得火。而是因为这样做对身体不适宜。
我不让过去定义我，我让它磨砺我。
Success is not about how much money you make, it’s about the difference you make in people’s lives.