"Gloom and sadness are poison to us, and the origin of hysterics. You are right in thinking that this disease is in the imagination; you have defined it perfectly; it is vexation which causes it to spring up, and fear that supports it."

Next Quote

The establishment of formal standards for proofs about programs... and the proposal that the semantics of a programming language may be defined independently of all processors for that language, by establishing standards of rigor for proofs about programs in the language, appears to be novel.

— Robert W. Floyd