愛は、時に痛みを伴うが、それでも愛し続けることが大切だ。
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
 Speech is the shadow of action; action is the manifestation of speech.
我不知道为什么人们雇佣建筑师然后告诉他们该做什么。
Labor economics is fundamentally about understanding people’s choices and constraints.
The most important political development of the last two centuries has been the rise of the modern state.