信仰是对上帝恩典的生动、大胆的信任，如此确定上帝的恩惠，以至于愿意冒着死亡的风险一千次信任它。

判断两个λ表达式是否等价的问题是无法解决的。

The ethical implications of gene editing must be considered at every step.

人类的心灵是一个故事处理器，而不是逻辑处理器。

Quality should never be compromised, but neither should our ethical responsibilities.

Peace is not the absence of war, but the triumph of justice.

最成功的社会是那些允许最大程度个人自由和创造力的社会。