形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
小说是一面镜子，反映的不是现状，而是可能。
有的鸟终究是关不住的，因为他们的羽翼太过光辉，当他们飞走时，你会由衷的祝贺他们获享自由；然而无奈的是：你得继续在这无聊之地苟且偷生。
I'm the reason your eyes won't see.
人类天生善良，所以他犯罪是违背自己的意愿。
The truth is, every writer creates his own precursors.
Leadership is about making tough decisions today that will benefit everyone tomorrow.
The past is a shadow that follows us, a ghost that haunts us.
I think it's important to take risks and not be afraid of failure.