快乐的最好方法是活在当下。

能源的未来在于我们持续适应和创新的能力。

O valor das coisas não está no tempo que elas duram, mas na intensidade com que acontecem. Por isso existem momentos inesquecíveis, coisas inexplicáveis e pessoas incomparáveis.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。