The work is a kind of mapping.
竞争是好事，它迫使你不断进步。
一本书就是你手中握着的梦想。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
最好的科学往往来自于提出最简单的问题。
Mathematics is a creative endeavor, just like art or music.
Your reputation is your most important currency—protect it fiercely.
我不会告诉他们裁员的事。如果病人得了癌症，你不会告诉他们。