"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

唯有理解，才能关心；唯有关心，才能帮助；唯有帮助，一切才能得救。

I'm not a prisoner, I'm a free spirit.

And when you do I want you to know this， remember this: there is no such thing as failure. Failure is just life trying to move us in another direction. Now when you’re down there in the hole， it looks like failure. So this past year I had to spoon feed those words to myself.