And Symbol Set Theory - Search