我们都在寻找一种方式，来证明自己的存在。
We are all looking for a way to prove our existence.
I never really thought about being a director. I just wanted to make good movies.
User needs always come first, we must always listen to the voices of players.
成功是我唯一的选择，失败不是。
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.