“Inside every large program, there is a small program trying to get out.”

- C.A.R. Hoare