The past is always tense, the future perfect.
The goal of mathematics is to understand the universe in a deeper way.
分布式系统是指我无法完成任何工作,因为我从未听说过的某台机器崩溃了。