成功不仅仅是赚钱，而是有所作为。

学习数学的唯一方法就是做数学。

And so on.

La vida es como una canción, tiene sus altos y bajos, pero siempre hay belleza en ella.

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

建筑必须是过去和未来之间的桥梁。

成功的关键是永不停止学习。