Writing down one thing you are grateful for each day is the cheapest possible therapy ever.

数学中最深刻的思想往往源于最简单的观察。

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

我们必须敢于不同思考，挑战现状。

Writing is a way of connecting with others.

我一直是个斗士。

大脑适应和重新连接自身的能力是神经科学中最迷人的方面之一。