"You can't go back and change the beginning, but you can start where you are and change the ending."

The Fed put out the fire, but the house still needs rebuilding.

I try to get rid of people who confidently answer questions about which they don't have any real knowledge.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."