All happy families are alike; each unhappy family is unhappy in its own way.
幸福的家庭都是相似的,不幸的家庭各有各的不幸。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
所有的突破在一开始都是看起来很可笑和荒谬的。事实上如果它在一开始看起来不够可笑和荒谬的话,它也称不上是一种突破。
The best way to predict the future is to invent it.