I don't want to be a star, I want to be a legend.
反思本身不是罪恶。罪恶在于反思的状态，以及反思带来的静止。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
The wine is the most healthful and hygienic of beverages.
最困难的部分是放手，而不是参与。
穆里尼奥回怼巴萨女球迷嘲笑他只穿一件大衣。
Financial innovation is like fire - it can be very useful, but it needs to be contained.
My art is my soul.