炼油创新不是要重新发明轮子，而是让轮子转得更清洁、更智能。
My dream is to bring Chinese music to the world.
优秀的设计解决问题，而卓越的设计预见问题。
Language is not just a system of symbols， but a set of practices with social and cultural significance.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Welcome, O life! I go to encounter for the millionth time the reality of experience and to forge in the smithy of my soul the uncreated conscience of my race.