建筑是一种挑战,是对极限的挑战。
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
Writing is about making sentences. It is about the rhythm of the sentence, the music of the sentence.