The power of science lies in its universality and objectivity, it transcends culture and national boundaries.

过去从未死去，它甚至还没有过去。

I like the freedom of making my own choices.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

The purification of the soul is more important than the purification of the body.