To be a writer is to have a certain kind of sensitivity to the world, to be able to see what others do not see, to hear what others do not hear.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
建筑师必须与光线、色彩、水和植被一起工作,创造一个和谐的整体。