在每个词中，都有一个等待被发现的世界。

"A personality is a full Congress of orators and pressure-groups, of children, demagogues, communists, isolationists, war-mongers, mugwumps, grafters, prayer-meetings, spiritualists, and astrologers."

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

Never forget where you came from, because that’s what keeps your music authentic.

如果谋虑不到，那么就根据过去推知未来（主要强调凭借经验），根据明显的事推知隐微的事。像这样谋虑，那么所谋必得（成功）。

科学是一项集体事业，每个世纪都为其添砖加瓦。