These and other types of models can overlap, with a given model involving a variety of abstract structures. Mathematical models can include logical models. In many cases, the quality of a scientific field depends on how well the mathematical models built on theory agree with results of repeatable experiments. When theoretical mathematical models do not match experimental measurements, scientists try to correct the model. Such corrections lead the way to better theories to explain the facts.