 Models as complements of theories. A theory may be incompletely specified in the sense that it only imposes certain general constraints but remains silent about the details of concrete situations, which are provided by a model (Redhead 1980). A special case of this situation is when a qualitative theory is known and the model introduces quantitative measures (Apostel 1961). Redhead’s example of a theory that is underdetermined in this way is axiomatic quantum field theory, which only imposes certain general constraints on quantum fields but does not provide an account of particular fields. Harré (2004) notes that models can complement theories by providing mechanisms for processes that are left unspecified in the theory even though they are responsible for bringing about the observed phenomena.