我不是说唱歌手，我是一个炼狱的传奇。

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

The purpose of literature is to turn blood into ink.

The artist must be a philosopher, a poet, and above all, a revolutionary.

好的结局是幸福的，坏的结局是不幸的。这就是小说的意义。

The only sensible ends of literature are, first, the pleasurable toil of writing; second, the gratification of one's family and friends; and lastly, the solid cash.

The study of Galois representations is a testament to the power of algebraic methods.

Architecture is a social art, and the architect is a social being.