Hoare's Law of Large Programs: Inside every large program is a small program struggling to get out.