会有障碍。会有怀疑者。会有错误。但只要努力，就没有限制。
There will be obstacles. There will be doubters. There will be mistakes. But with hard work, there are no limits.
"The more you try to understand the mirror, the less you know."
Paper has been the carrier of human knowledge for centuries. Our duty is to ensure it continues for centuries more.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
"The true power of a story is not in its plot, but in the emotions it evokes and the thoughts it provokes."
即使世界给我带来痛苦，我也要以歌声回应。
I’m intimidated by the fear of being average.
生活就是受苦，生存就是在苦难中找到一些意义。