 However, to formulate the axiomatic basis of a real theory, not just a toy model, is a non-trivial task and typically requires one or two books; see the examples Ludwig (1985, 1987) and Schmidt (1979).