"The challenge in theoretical computer science is not just to solve problems, but to understand why they are hard to solve."
"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."