The past is a foreign country; they do things differently there.
We are all time travelers, moving at the speed of exactly 60 minutes per hour.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."