"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
Disneyland will never be completed, as long as there is imagination left in the world.
Stay hungry, stay foolish.
In the end, we will remember not the words of our enemies, but the silence of our friends.