 Some defenders of the Semantic View keep important aspects of this reconstructive agenda, moving the metamathematical apparatus from predicate logic to set theory. Other advocates of the Semantic View insist that the structure of scientific theory is solely mathematical. They argue that we should remain at the mathematical level, rather than move up (or down) a level, into foundations of mathematics. A central question for the Semantic View is: which mathematical models are actually used in science?