A reader noticed that the tagline of this blog bears a resemblance to C.A.R. Hoare’s law:
Inside every large program (problem) is a small program (problem) struggling to get out.
or Rhode’s corollary to Hoare’s Law
Inside every complex and unworkable program is a useful routine struggling to to be free.
More about this ACM Turing Award winner can be found here.