The most beautiful words in the English language are 'I told you so.'
I used to walk down the street like I was a star... I want people to walk around delusional about how great they can be.
The challenge in model checking is not just to find errors, but to understand why they occur.