模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

I'm a strong woman, but I cry. I'm a sensitive person. I care about things. I'm not just some tough bitch who doesn't give a damn about anything.

I don't care about being famous. I just want to make music that people can relate to.

创新并不是对每件事都说“是”，而是对除了最关键功能之外的一切说“不”。