奇迹：没有亲眼目睹的人向人们描述的事件。
A miracle:an event described by those to whom it was told by men who did not see it.
The unattainable goal is my goal; the winding path is my chosen path.
用心最重要的是光明坦诚，外表最重要的是要正直沉稳，说话最重要的是要简洁真诚。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
我们要记住，我们无法从这个世界带走任何东西，重要的是我们在这里的行为。
我是一个有使命的女人，不达目的绝不停止。
家并不总是一个地方；有时是那些让你感到归属的人。
成功是最好的报复。
On motivation: "I strongly believe that missionaries make better products. They care more. For a missionary， it's not just about the business. There has to be a business， and the business has to make sense， but that's not why you do it. You do it because you have something meaningful that motivates you."
