Quality is more important than quantity. One home run is much better than two doubles.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

The only thing that matters is the truth.

"We carry our homes within us, which enables us to fly."

"Children's literature is the foundation for a lifetime of reading."

科学是照亮无知黑暗的光。