Inside every large program is a small program struggling to get out.

C.A.R. Hoare

Software engineering has accepted as its charter its own failure: how to write a program if you can't.

Edsger W. Dijkstra