过去从未死去，它甚至还没有过去。

Positive emotions broaden our awareness and encourage novel, varied, and exploratory thoughts and actions. Over time, this broadened behavioral repertoire builds skills and resources.

λ演算本质上是一个关于函数及其应用的理论。