Agent-based object models inherently provide constructive “proofs” to propositions. In particular, once we specify an agent-based object model and find that it leads to a coherent macrophenomenon, we have thereby found at least one set of microconditions that is sufficient to generate the macro-observations.
