The Anscombe-Aumann (AA) model, originally introduced to give a normative basis to expected utility, is nowadays mostly used for another purpose: to analyze deviations from expected utility due to ambiguity (unknown probabilities). The AA model makes two ancillary assumptions that do not refer to ambiguity: expected utility for risk and backward induction. These assumptions, even if normatively appropriate, fail descriptively. This paper relaxes these ancillary assumptions to avoid the descriptive violations, while maintaining AA’s convenient mixture operation. Thus, it becomes possible to test and apply all AA-based ambiguity theories descriptively while avoiding confounds due to violated ancillary assumptions. The resulting tests use only simple stimuli, avoiding noise due to complexity. We demonstrate the latter in a simple experiment where we find that three assumptions about ambiguity, commonly made in AA theories, are violated: reference independence, universal ambiguity aversion, and weak certainty independence. The second, theoretical, part of the paper accommodates the violations found for the first ambiguity theory in the AA model—Schmeidler’s CEU theory—by introducing and axiomatizing a reference dependent generalization. That is, we extend the AA ambiguity model to prospect theory.