"The world is full of small things that are big enough to break your heart."
"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."
The value of information is not in knowing more, but in knowing what others don't know.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."