You can be whatever size you are, and you can be beautiful both inside and out.

艺术应该以其后果来衡量，而不是以其美来衡量。

The act of creation is an act of defiance.

能源生产的效率是可持续发展的基石。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

Will you be a cynic， or will you be a builder？