The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
死者比我们更活生生，因为他们是完整的。
In every frame, there is a piece of the filmmaker's soul.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。