This paper uses a number of examples of diverse types and functions of models in evolutionary biology to argue that the demarcation between theory and practice, or "theory model" and "data model," is often difficult to make. It is shown how both mathematical and laboratory models function as plausibility arguments, existence proofs, and refutations in the investigation of questions about the pattern and process of evolutionary history. I consider the consequences of this for the semantic approach to theories and theory (...) confirmation. The paper attempts to reconcile the insights of both critics and advocates of the semantic approach to theories. (shrink)