每个生物都在为生存而斗争。
You can’t let success get to your head and failure to your heart.
I’ve learned to embrace my flaws, because they make me who I am.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
保持真实，永远不要让成功改变你是谁。