As the authors rigorously show, producing anything of significant complexity requires that knowledge of the outcomes be programmed into the search routines.