"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

The world is a great sea, and we are the sailors.

The only real voyage of discovery consists not in seeking new landscapes, but in having new eyes.

"We see our customers as invited guests to a party, and we are the hosts."

我不想出名，我想变得伟大。