我总是对每一个机会心怀感激。

金钱的匮乏是所有罪恶的根源。

模型检查是验证硬件和软件系统正确性的强大工具。

Whether we are describing a king, an assassin, a thief, an honest man, a prostitute, a nun, a young girl, or a stallholder in a market, it is always ourselves that we are describing.

Joy is the emotion which accompanies the fulfillment of our natures when we have lived up to our potential.

O passado é uma ilusão, o futuro é um mistério, o presente é uma dádiva.

试错的成本是最低的。