形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

"To be foreign is to be always slightly out of step."

La literatura no es un espejo de la realidad, sino una ventana a lo posible.

如果一个社会中的大部分成员贫穷而悲惨，那么这个社会就谈不上繁荣幸福。

我不是一个女商人，我就是生意，伙计！#

Iteration is the mother of invention.

创新不仅仅是技术，还包括管理和商业模式。