Rhode's Corollary To Hoare's Law: Inside every complex and unworkable program is a useful routine struggling to be free.