adds section on GNAT-search