"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
We are all self-righteous hypocrites.
Music is the voice of the soul. If you can speak, you can sing. If you can walk, you can dance.
Life is too short to be anything but happy.