你把桃子投于我，我把李子回赠与你。桃子和李子价值相当，表明我本人是知恩图报的，也有互相赠送，礼尚往来的意思。

我明白了你无法控制生活中的一切，但你可以控制自己对它的反应。

A nation that destroys its soils destroys itself.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

译文：不要和他人争长短与得失，只求自己能增长知识和才干。赏析：我们在与人交往之中，少谈论别人的是非，少和别人争长短。不管是赢了还是输了，有什么用呢。与其和别人争论毫无关系的事情，不如静下心来多读书学习，多反思自己的言行，或许能收获很多知识。

End of the road, time to let go

数学的本质不是把简单的事情复杂化，而是把复杂的事情简单化。