我不想成为传奇，我想成为回忆。
The best way to predict the future is to create it.
Money and power don't change you, they reveal who you really are.
在科学中最令人兴奋的短语，预示着新发现的，不是“我找到了！”，而是“这很有趣...”
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。