A major conclusion from contemporary studies of Pavlovian conditioning is that conditioned stimuli (CSs) interact with each other as they develop associations with an unconditioned stimulus (US). One of the most striking demonstrations of this interaction is the phenomenon of overexpectation, in which the usual incrementing action of a US on a CS is reversed because of the contemporaneous presence of a second CS. In a standard demonstration of overexpectation (e.g., Khallad & Moore, 1996;Kremer, 1978;Rescorla, 1970;Wagner, 1971), two stimuli, A and B, are separately paired with a US until they achieve asymptotic conditioning. Then they are presented as an AB compound and the same reinforcement is continued. In many conditioning preparations, this joint presentation of A and B in compound results in greater responding than that produced by either stimulus alone-so-called summation (e.g., Mackintosh, 1974;Pavlov, 1927). Of particular interest, following the AB compound by the same US results in a decrease in subsequent responding to the A and B stimuli (e.g., Lattal & Nakajima, 1998;Rescorla, 1999).This phenomenon was originally derived as a prediction from the Rescorla-Wagner (1972) model. According to that model, and to many other contemporary models of conditioning, changes in associative strength are governed by an error calculation in which the current associative strength of the CS compound (V AB ) is compared with the strength that the US is capable of producing (λ). Initial conditioning of A and B individually results in the separate associative strengths (V A and V B ) each achieving levels near λ. However, presentation of the AB compound results in a combining of their associative strengths such that the total exceeds λ. As a result, the error calculation that occurs on a reinforced AB trial yields a negative result; that is, it produces a decrease in the associative strength of the elements. Casually put, the US is overexpected on the compound trials, and since the effect of a US depends on its discrepancy from expectation, the result of a trial is associative decrement. This sort of model views overexpectation as involving the same process as does extinction produced by nonreinforcement. In both cases, the trial consequent is lower than that anticipated on the basis of the stimuli present on the trial, resulting in a negative error term. In both cases, the result is a decrease in associative strength of the stimuli present on the trial.The simplistic inference from such models that extinction results in a reversal of the action of conditioning has largely been discarded. Both classical and contemporary phenomena have led to this decision. For instance, Pavlov (1927) was the first to report that the decremental effects of extinction diminish with the passage of time, resulting in spontaneous recovery. This led him, and most subsequent thinkers, to conclude that at least a portion of the original associative learning had remained in place. A more contemporary finding, leading to the same conclusion, is t...