"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

翻译：不同的人从不同的角度看待同一事物，会有不同的见解。

你能给孩子最伟大的礼物就是自尊的礼物。

Power resides where men believe it resides. It's a trick, a shadow on the wall. 

好人遵循规矩，伟人遵循自己。