A formal way of determining whether or not a model's variables behave according to common sense is to use the "reality check" feature of the Vensim software package. During a reality check, a modeler describes common sense model behaviors (e.g., "if there are no mature elephants in the model, no baby elephants can be created") and the software automatically checks to see if the model exhibits them. See Peterson and Eberlein (1994).