I don't believe in luck, but I do believe in assigning value to things.
无论削减成本的压力有多大，质量永远不应妥协。
译文：经常在外人面前夸耀自己就是最大的短处，知道自己还有短处就是最大的长处。赏析：做人低调不张扬，才不会引起别人的嫉妒和报复。为人处世，不谈论自己的优点，不议论别人的短处。
I know what I can do, so it doesn't bother me what other people think or say.
"She was free in her wildness, she was a wanderess, a drop of free water. She belonged to no man and to no city."
The more you know, the more you realize you don't know.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。