The challenge of acting is to find the humanity in every character, no matter how different they may seem from you.

幸福不是一直得到你想要的，而是爱你所拥有的并为此感恩。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."