I don’t follow any particular theory. I just do what seems right to me.
来时惊动很大，走时没有任何声响。
The moment you cheat for the sake of beauty, you know you’re an artist.
The thing about fantasy is that it allows you to create a world that is completely different from our own, and yet, it can still reflect the truths of our world.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
最好的故事是那些挑战我们以不同方式看待世界的故事。