main subdivisions of logic - Search