We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil.
The challenge in model checking is not just to find errors, but to understand why they occur.
A man's life of any worth is a continual allegory.
在艺术创作中，虚空与充实同样重要。
No man is useless in this world who lightens the burden of someone else.