当天赋不努力时，勤奋会击败天赋。
Hard work beats talent when talent doesn’t work hard.
我不是榜样，但如果这能让你晚上睡得更好，随便你怎么称呼我。
The best way to predict the future is to create it.
"The future of system design lies in the integration of formal methods with traditional engineering practices."
我们不必如此努力。