It's easier to stay out of trouble than it is to get out of trouble.
The truth is rarely pure and never simple.
The past is not dead; it is not even past.
When introduced to someone make eye contact and count to 4. You’ll both remember each other.
The value of information is not in knowing more, but in knowing what others don't know.
The challenge in model checking is not just to find errors, but to understand why they occur.