Writing is a dialogue with oneself.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
Freedom is not merely the opportunity to do as one pleases; neither is it merely the opportunity to choose between set alternatives. Freedom is, first of all, the chance to formulate the available choices, to argue over them—and then, the opportunity to choose.