过去是一种始终存在的阴影，无论你选择忽视与否。
The past is a kind of shadow which is always there, whether you choose to ignore it or not.
"The future of system design lies in the integration of formal methods with traditional engineering practices."
真相是一把刀，它两面都割。
The only limit to our realization of tomorrow is our doubts of today.
未来は誰にもわからない。だからこそ、今を大切に生きるべきだ。
大的不怕与小的同游，居中的却远避之。