"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
Objects have always been carried, sold, bartered, stolen, retrieved and lost. People have always given things to other people.
The dead are never far from us. They’re in our hearts and on our minds and in the end all that separates us from them is a single breath, one last puff of air.