"The universe is full of surprises, and it's our job to uncover them."

The best decisions are made when you listen to the people closest to the problem.

I was seldom able to see an opportunity until it had ceased to be one.

模型检查是验证有限状态并发系统正确性的强大技术。

解释：神态傲慢，谁还愿意和你相处呢？最洁白的东西好像十分黑暗，最道德的人好像有所不足。

The world is built upon the power of numbers.