"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

"Sometimes, the hardest thing and the right thing are the same."

"The power of fiction lies in its ability to make us feel less alone."

生于古人之后而议论古人的缺点失误容易，而若处于古人的位置做古人所做的事就很难

Every individual has a place to fill in the world and is important in some respect whether he chooses to be so or not.