Esialgne otsimise loogika, testimata, ilmselt leidub tüposid