预测你未来的最好方法就是创造它。
The pain of hard work is temporary, but the regret of not trying lasts forever.
"La literatura es siempre una expedición a la verdad."
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."