A decision model in decision theory is the starting point for a decision method within a formal (axiomatic) system. Decision models contain at least one action axiom. An action is in the form "IF <this> is true, THEN do <that>". An action axiom tests a condition (antecedent) and, if the condition has been met, then (consequent) it suggests (mandates) an action: from knowledge to action. A decision model may also be a network of connected decisions, information and knowledge that represents a decision-making approach that can be used repeatedly (such as one developed using the Decision Model and Notation standard). Excepting very simple situations, successful action axioms are used in an iterative manner. For example, for decision analysis, the sole action axiom occurs in the Evaluation stage of a four-step cycle: Formulate, Evaluate, Interpret/Appraise, Refine. Decision models are used both to model a decision being made once, as well as to model a repeatable decision-making approach that will be used over and over again. Formulation Formulation is the first and often most challenging stage in using formal decision methods (and in decision analysis in particular). The objective of the formulation stage is to develop a formal model of the given decision. This may be represented as a network of decision-making elements, as a decision tree or in other ways depending on the specific situation. The formulation may be conceptual or may include all the necessary decision logic (business rules) required to define the decision-making. Evaluation Evaluation is the second and most algorithmic stage in using formal decision methods. For a decision being made once, the objective of the evaluation stage is to produce a formal recommendation (and its associated sensitivities) from a formal model of the decision situation. For a repeatable decision evaluation occurs each time the decision is made by applying the decision model that has been developed. Appraisal Appraisal is the third and most insightful stage in using formal decision methods. The objective of the appraisal stage is for the decision maker to develop insight into the decision and determine a clear course of action. Much of the insight developed in this stage results from exploring the implications of the formal decision model developed during the formulation stage (i.e., from mining the model). Central to these implications is the formal recommendation for action calculated during the evaluation stage. Other implications include various forms of Sensitivity of the recommendation