Never underestimate the power of a small team with a big vision.
永远不要低估拥有远大愿景的小团队的力量。
成功来自于关注长期，而不仅仅是短期收益。
The best discoveries often come from unexpected places.
"A good book is a friend that never lets you down."
对逻辑形式的研究不仅关乎语言，也关乎世界。