 Philosophers of science who espouse scientific realism have usually maintained that IBE is how scientists develop, about the putative mind-independent world, scientific theories approximately true.Thus, the view that Popper was obviously wrong—since scientists use induction in effort to "prove" their theories true—is structured by conflicting semantics.By now, enumerative induction has been shown to exist, but is found rarely, as in programs of machine learning in Artificial Intelligence.