The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
"Memory is a strange thing, it doesn't work like I thought it did. We are so used to thinking of it as a camera or a tape recorder, but it's not like that at all. It's more like a painter, who adds and subtracts elements according to his own rules."