形式化方法的美在于它们能够提供关于系统行为的绝对保证。
I think that the most powerful films are the ones that stay with you long after you've seen them.
贫困陷阱的核心:今天的饥饿偷走了明天的生产力。
A woman must have money and a room of her own if she is to write fiction.