我不是为评论家制作音乐。我为粉丝制作音乐。
I don't make music for the critics. I make music for the fans.
"A story is not a message with a plot wrapped around it, but a plot that may contain a message."
The dead speak if you know how to listen.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."