Implemented theory search