When we strive to become better than we are, everything around us becomes better, too.

行动是恐惧的解药。

即使在最黑暗的时刻，只要记得点亮灯光，就能找到幸福。

为社会正义而斗争必须从教室开始。

Legal systems are not static; they evolve over time in response to social changes.

形式化方法的美在于它们能够提供关于系统行为的绝对保证。