Do not think it worthwhile to produce belief by concealing evidence, for the evidence is sure to come to light.

人工智能中逻辑系统的研究不仅仅是形式化，更是理解推理的本质。

I always try to stay calm under pressure.

To me, you are still nothing more than a little boy who is just like a hundred thousand other little boys. And I have no need of you. And you, on your part, have no need of me. To you, I am nothing more than a fox like a hundred thousand other foxes.