形式化方法的美在于它们能够提供关于系统行为的绝对保证。
Mathematics allows us to see the hidden structures that govern the world around us.
The most rewarding part of filmmaking is seeing the impact your story has on others.
Even as a child she had lived her own small life within herself. At a very early period she had apprehended instinctively the dual life - that outward existence which conforms, the inward life which questions.
拥有而不需要，总比需要而没有好。
The best advice I can give is to stay humble and work hard.
The refineries that will thrive are those that see themselves as energy hubs, not just oil processors.
