"I guess that’s just part of loving people: You have to give things up. Sometimes you even have to give them up."
我想这就是爱人的一部分:你必须放弃一些东西。有时你甚至不得不放弃他们。
程序测试可以用来显示错误的存在,但绝不能显示它们的不存在!
The beauty of the Langlands program lies in its ability to reveal hidden connections.
一个人学得越多,就越能看到还有多少东西需要学习。
法律并非天空中无所不在的沉思存在,而是某个可识别的主权或准主权者的清晰声音。