Retrieval Priming in Product Verification : Evidence From Retrieval-Induced Forgetting

The conditions under which multiplication verification (3 × 6 = 12, true or false?) involves product retrieval and comparison or familiaritybased recognition judgements has not been clearly established. In two experiments examining verification of single-digit multiplication problems, we used Retrieval-Induced Forgetting (RIF), a signature of retrieval use, as an index of product retrieval in multiplication verification. In Experiment 1, 72 adults practiced multiplication either in a production format or in a verification format and then were tested on corresponding addition and control problems. The results showed RIF (i.e., slower answer production for addition problems whose multiplication counterparts had been practiced) in both the production-practice and the verification-practice groups, but RIF was stronger following true than false verification. Experiment 2 tested verification with related-false and unrelated-false products. Related-false equations produced longer RTs than unrelated false equations. Practice of true, related-false and unrelated-false multiplication equations all produced RIF of the addition counterparts but, overall, related-false multiplication equations produced relatively weak RIF. The results indicated that product retrieval mediates multiplication verification even when false answers are weak associative lures and suggest that a retrieve-and-compare process is the default strategy when false answers are at least plausible. We conclude that the presented answer in verification equations act as retrieval-priming stimuli with true equations priming correct answer retrieval and related-false answers interfering with correct answer retrieval.

Despite wide usage of the arithmetic verification task in diverse research, an important unresolved issue concerns what the normative or default strategy is for simple arithmetic verification.Do participants typically produce the correct answer during verification or rely on a familiarity-based recognition strategy or plausibility strategy?When false equations may be consistently identified as false on the basis of a salient characteristic or manipulation (e.g., parity or magnitude disagreement with the correct answer; e.g., Lemaire & Reder, 1999) it is likely that participants do use a familiarity or plausibility check to decide true or false.When participants are not induced to exploit regularities in the experimental stimuli, what is the default strategy?In the present experiments we addressed this question for verification of simple multiplication equations.
There is a long history to this question.With respect to multiplication verification, Campbell (1987) argued that even when false answers make recognition or plausibility judgements difficult or unreliable (e.g., false answers are strong associative lures, such as 8 × 4 = 24), verification does not measure the same number-fact retrieval process as the production task.The difference may be explained by priming effects arising from the presented answer to be verified.Meagher and Campbell (1995; see also Campbell, 1987Campbell, , 1991) ) measured effects of numerical primes (displayed for 200 ms) on production of multiplication facts (e.g., 4 × 8 = ?)with prime-problem inter-stimulus intervals (ISIs) of 0, 750, or 1500 ms.The 0 ISI condition approximates the simultaneous presentation of answer and operands in the standard verification task.Experiment 1 employed three kinds of numerical primes: correct, related, unrelated and a neutral prime (##).Correct primes were the correct answer to the upcoming problem (e.g., 24 for 4 × 6), a related prime was a multiple of one or the other operands (e.g., 28 or 18), and an unrelated prime was a product of whole number factors but not a multiple of either operand (e.g., 27).Relative to neutral primes, correct primes produced constant RT and accuracy benefits across ISIs, and unrelated primes produced constant RT costs.Related primes produced costs compared to unrelated primes at the 0-ms ISI only.In Experiment 2, eliminating correct-answer primes from the stimulus set eliminated all the false-prime effects except the costs of related primes at the 0-ms ISI.
To explain these findings, Meagher and Campbell (1995) proposed a fast-acting retrieval priming mechanism that yields interference effects for related-false primes and facilitation when the prime is the correct answer.
These multiplication retrieval-priming effects were proposed to be automatic consequences of encoding a correct or associatively related numerical prime at the time of product retrieval.If such priming effects are automatic, retrieval-priming effects would also be expected to operate in the multiplication verification task, and similar effects have been observed in the product verification task (Campbell, 1987;Koshmider & Ashcraft, 1991).Priming and interference effects in multiplication production and verification do not provide strong evidence, however, that product retrieval is the default strategy for multiplication verification because they might reflect effects of related primes on equation recognition processes (Zbrodoff & Logan, 1990).Furthermore, other phenomena raise doubts that product retrieval (e.g., as opposed to recognition of the equation without product retrieval) occurs during multiplication verification.Campbell and Tarling (1996) alternated multiplication production trials (e .g., 9 × 6 = ?)with verification trials (4 × 9 = 36, true or false?) and analyzed error priming.Error priming is the phenomenon that simple-arithmetic errors produced in a running sequence of Neudorf,Chen,& Campbell 573 trials frequently match the answer to a problem solved earlier in the trial block (e.g., 9 × 4 answered correctly on Trial 10, then observe 9 × 6 = "thirty six" several trials later; Campbell, 1991Campbell, , 1994;;Campbell & Clark, 1989).
They found that production errors were strongly primed by previous production trials (the error-answer matching rate was about twice that expected by chance), but production errors were not strongly primed by previous verification trials.Conversely, verification errors were primed by previous verification trials, but not by production trials.Campbell and Tarling (1996) concluded that simple multiplication production and verification were mediated by different memory processes and suggested that a familiarity-based recognition process mediated product verification rather than a retrieve-and-compare process.

The Present Experiments
An alternative approach to investigating retrieval processes in product verification involves retrieval-induced forgetting effects observed in simple addition (e.g., 2 + 3 = ?)following retrieval practice of the multiplication counterparts (e.g., 2 × 3 = ?).Several experiments (e.g., Campbell, Dufour, & Chen, 2015;Campbell & Therriault, 2013;Campbell & Thompson, 2012a) have demonstrated a slowing of RTs and increased errors for addition counterparts following multiplication practice using a variant of the retrieval-practice paradigm developed to study retrieval-induced forgetting (RIF) with verbal materials by Anderson, Bjork, and Bjork (1994).In the original paradigm, several categorical word lists comprising category-cue pairs (e.g., FRUIT-Orange, FRUIT-Banana, PROFESSION-Teacher, PROFESSION-Lawyer) are first viewed, then half of a subset of items in half the categories receive cued-retrieval practice (FRUIT-O, PROFESSION-L) and finally all cues are tested.The typical finding is that unpracticed items from the practiced category are more difficult to remember than items in the unpracticed categories.RIF may reflect inhibition of associative competitors during retrieval practice or cuebased interference (see Storm & Levy, 2012, for a review).In the present context, the critical feature of RIF is the principle that RIF is retrieval dependent: RIF is observed when the practice phase requires fact retrieval but not when the items are studied but not retrieved (see Anderson, 2003;Storm & Levy, 2012).Multiplication-induced RIF of addition counterparts has been repeatedly shown to be retrieval dependent, observed only when multiplication fact retrieval is practiced (e.g., 4 × 6 = ?)but not when multiplication equations (e.g., 4 × 6 = 24) are studied, even when study practice is as effective as product-retrieval practice at facilitating performance on a subsequent multiplication retrieval test of the practiced facts (Campbell et al., 2013;Campbell & Thompson, 2012a).Galfano, Penolazzi, Fardo, et al. (2011) found that 40 repetitions of passive practice (i.e., study) of simple multiplication equations did result in slower mean RT to verify related multiplication equations.In contrast, our paradigm, which provides only six practice repetitions and tests addition production rather than verification has never found addition RIF with study practice of multiplication facts (Campbell et al., 2013;Campbell & Thompson, 2012a;Maslany & Campbell, 2013).
The retrieval-dependence of multiplication-fact retrieval induced addition RIF provides a diagnostic test for the occurrence of answer retrieval during multiplication verification trials.If product verification entails answer retrieval, rather than only familiarity-based recognition, for example, then subsequent RIF of addition counterparts should be as robust following verification practice as following multiplication production practice.Furthermore, we may expect multiplication RIF to be more robust following true-verification practice than false-verification practice owing to retrieval priming.According to Meagher and Campbell (1995), presented answers should prime correct-product retrieval for true primes but interfere with correct-product retrieval when presented answers are related-false products.
Retrieval Priming in Product Verification 574 In Experiment 1, two groups of participants received either six practice blocks of product verification trials (e.g., 4 × 6 = 28, true or false?) or product production trials (e.g., 4 × 6, state the product).False equations involved categorically-related answers: specifically, the correct answer if one operand is changed by +/-1 (e.g., 28 is an exemplar in the factor category 4).The multiplication practice phase was followed by an addition test phase with two addition-production blocks including addition counterparts of practiced multiplication problems and counterpart-unpracticed controls.The addition problems all had sums ≤ 10 or were so-called "tie" problems (2 + 2, 3 + 3, etc.), because larger, non-tie additions (e.g., 9 + 6) usually do not produce the RIF effect (Campbell & Thompson, 2012a;Campbell et al., 2013; but see Campbell & Dowd, 2012).North American adults often display weak memory strength for the large non-tie additions, making them weaker competitors for their multiplication counterparts and therefore less susceptible to RIF (see Anderson, 2003, for a discussion of competitiondependence and RIF).For the product verification practice group, across the six practice blocks the same multiplication problems appeared with true or false answers in all blocks (e.g., if counterbalancing assigned 4 × 6 to the true condition, it appeared as 4 × 6 = 24 in all six verification blocks).This design feature afforded tests of possible differences between RIF induced by practicing true and practicing related-false verification equations.

Method Participants
Seventy-two participants were recruited at the University of Saskatchewan and received course credit or $7.50.
Participants were assigned alternately to the multiplication-production practice or multiplication-verification practice condition yielding two groups of 36.Recruitment materials stipulated English as the first language for elementary arithmetic because addition RIF is potentially sensitivity to linguistic or cultural factors.The effect is robust in English speakers (Campbell & Thompson, 2012a), but Campbell et al. (2013) and Chen and Campbell (2017) did not observe RIF for small non-tie addition problems among Chinese adult participants.The present sample included 50 women and 22 men (65 right-handed, 6 left-handed, and 1 ambidextrous) with mean age of 26.9 years (SE = 1.06).

Apparatus
Stimuli were presented using E-prime 2.0 (Schneider, Eschman, & Zuccolotto, 2012) on an LED monitor viewed by an experimenter and a CRT monitor viewed by the participant.Black characters in Courier New size 14 font appeared against a white background.The participant sat approximately 50 cm from the monitor, with a handheld microphone that detected the participant's voice response and activated a switch that provided the stop signal to a software clock to measure RT.

Stimuli and Design
Participants received six practice blocks of product-verification trials (e.g., 4 × 6 = 28, true or false?) or six practice blocks of product-production trials (e.g., 4 × 6 = ?, state the product) followed by a two-block addition production test phase (e.g., 4 + 6 = ?).The multiplication practice phase included primary problems and filler problems (explained further on), and the test phase included only primary problems.For both the verification and production practice groups in both the practice and test phases, problem order was independently randomized for each block.
Neudorf, Chen, & Campbell 575 The primary multiplication and addition stimuli were composed from two sets of numerically small non-tie (sum ≤ 10) and tie (i.e., repeated) operand pairs.For example, the number pair 2 and 5 yielded 2 × 5 and 2 + 5 (or the complements) and the pair 44 yielded 4 × 4 and 4 + 4. Direct memory retrieval is the predominant strategy reported by educated adults for the small non-tie and tie multiplication and addition problems (Campbell & Alberts, 2009;Campbell & Xue, 2001;LeFevre, Bisanz, et al., 1996).Half of the participants in each of the verification and production practice groups received non-ties with the smaller operand on the left (2 × 5) and for the other half it was on the right (5 × 2).Each set of operand pairs was comprised of two subsets, which were used to counterbalance problems across conditions.Set 1 included the pairs 25 28 36 44 77 (Subset 1) and 34 35 26   22 99 (Subset 2). Set 2 included pairs 23 27 46 55 66 (Subset 1) and 24 45 37 33 88 (Subset 2).
For the true-false verification-practice group, assignment of Set 1 and 2 to the multiplication-practiced and multiplication-unpracticed condition, and assignment of the problem subsets to the true-verification and false-verification practice conditions, were fully counterbalanced across participants.Each operand pair appeared consistently as a true or false equation throughout verification practice.For each false verification trial a related-false answer was assigned pseudo-randomly by either increasing or decreasing one operand by one and multiplying it by the other operand (e.g., 4 × 8 = 24).False answers were restricted to not equal one of the problem's operands or a multiple of five when 5 was one of the operands.
For the production-practice group, exactly the same counterbalancing procedure with the problem sets and subsets was applied.For this group, however, who viewed a problem to be answered verbally (e.g., 2 × 5 = ?),rather than an equation to be verified (e.g., 2 × 5 = 10 or 2 × 5 = 8), the counterbalanced assignment of problem subsets to nominal true and false conditions allowed us to treat true vs. false as a properly counterbalanced factor (with respect to problem subsets) in analyses that combined the production and verification groups.
Additionally, during the practice phase both groups also received 10 large (sum > 10) non-tie multiplication problems including 2 × 9, 3 × 8, 3 × 9, 4 × 7, 4 × 8, 4 × 9, 5 × 6, 5 × 7, 5 × 8 and 6 × 7.These served as filler problems to interfere with verification participants noticing that the same small/tie problems were consistently true or false.In each block, five of the foil problems were randomly selected to be true problems and the other five were false problems.
Following the practice phase, all participants received two test blocks of 20 addition production problems made from all operand pairs in both Sets 1 and Set 2. Addition counterparts of the multiplication-practiced pairs (e.g., 2 + 5 is the addition counterpart of 2 × 5) were the RIF targets and the addition counterparts of multiplicationunpracticed pairs served as the control additions.

Procedure
Participants were tested individually in a half-hour session that included a warm-up task preceding the main experimental task.Instructions encouraged both speed and accuracy.In the warm-up, the participant named the eight letters "a" through "h" appearing individually in a random order at the center of the screen.On each trial, a fixation dot appeared at the center of the screen and then flashed twice over a 1-sec interval.On what would have been the third flash, the letter to be named appeared on the screen at fixation.For experimental trials, the fixation dot display was the same as in the warm up task and the problem appeared with the operator (× or +) at fixation.Verification participants were instructed to verbally respond "true" or "false" for verification Retrieval Priming in Product Verification 576 trials and production participants were asked to state the correct product.In the addition production test phase, all participants were instructed to state the correct sum.Response timing began when the problem appeared and stopped when the participant's verbal response triggered the voice-activated relay.The spoken response caused the problem to immediately disappear from the screen, which allowed the experimenter to detect and record spoiled RTs where the microphone had failed to detect response onset.After the experimenter entered the given answer or pressed the enter key, the fixation dot for the next trial appeared.There was no feedback about speed or accuracy.

Results
For ANOVA tests, Greenhouse-Geisser corrected statistics were reported when Mauchly's Test indicated violation of the sphericity assumption.Along with null hypothesis significance tests we also reported a Bayes Factor (BF) for each test, calculated using MorePower 6.0 (Campbell & Thompson, 2012b).This program implements the Bayesian Information Criterion (BIC) as proposed by Masson (2011; see also Wagenmakers, 2007), which approximates the unit-information prior as a default, objective Bayes prior probability (Wagenmakers, 2007).
The BIC formulation favours H 0 for small effect sizes making it conservative with respect to Type I errors (Nathoo & Masson, 2016).The estimated BF reported is the odds ratio of the null (H 0 ) over alternative hypothesis (H 1 Note.True vs. false was a pseudo-factor for the production-practice group in that the counterbalancing of problem subsets was the same as that used for the true/false factor for the verification-practice group. Error rate -Table 1 includes  with the verification group making more errors on false equations (6.8%) than true equations (1.8%), whereas the production group had more similar error rates for the nominally false (3.1%) and true (1.9%) problems.There were no other significant omnibus effects (all ps > .47,η 2 p < .02,BFs > 247000).

Addition Test Phase
RT -A total of 77 test-phase RTs (2.7% of trials) were marked for exclusion by the experimenter or discarded as outliers more than 2.5 SD from each Block (1, 2) × Problem Type (true practiced, false practiced, or unpracticed) mean for each participant.The overall error rate during the addition test phase was 2.1% (61 errors).
Mean RT for correct responses received a Practice task (verification vs. production) × Problem type (true practiced, false practiced or unpracticed) × Block (1 vs. 2) ANOVA with practice task as a between-participants factor and problem type and block as repeated-measures.iii   Mean RT (see Table 2 Retrieval Priming in Product Verification 578 To pursue this, we computed for each participant the mean difference between the true practiced and unpracticed (i.e., baseline) condition, and between the false practiced and unpracticed (i.e., baseline) condition.These two difference scores represent potential RIF effects generated by true and false practice trials, respectively.
Positive differences correspond to longer RT in the practiced condition (i.e., RIF).A Block × Problem Type AN-OVA was conducted for each group (i.e., verification or production practice task).The true vs. false factor is a pseudo-variable for the production practice group.The corresponding means and SEs appear in Table 2.
Error rate -Table 2 includes the mean percentage of test phase errors by practice task (verification or production), problem type (true practiced, false practiced, or unpracticed) and block (1 and 2).There was a total of

Discussion
The finding of robust addition RIF from practicing multiplication counterparts in a verification task implies that the multiplication verification problems were solved using a retrieve-and-compare strategy (e.g., Koshmider & Ashcraft, 1991;Romero et al., 2006) rather than solved by evaluating equation familiarity (i.e., recognition) without explicit retrieval of the correct product (e.g., Campbell & Tarling, 1996;Zbrodoff & Logan, 1990).This conclusion follows because the addition RIF effect has been repeatedly demonstrated to be retrieval dependent, and not observed when the multiplication equations are only studied (Campbell et al., 2013;Campbell & Thompson, 2012a).The overall RIF effect size on addition RT was about the same following verification practice (40 ms) and production practice (50 ms).There was weak evidence that RIF for the verification practice group was greater in connection with true (53 ms) than false (27 ms) verification trials, although the RIF effect was significant at .05 for both types.This fits with the proposal by Campbell (1987) that true verification equations are more likely to prime retrieval of the problem's correct answer than are false verification trials.Campbell (1987) argued that related-false verification products actively interfered with retrieval of the correct answer and promoted retrieval errors.This would contribute to slower RT and higher error rate for related-false than true equations and also contribute to weak addition RIF from related-false verification equations.
Experiment 1 provided evidence that verification of simple multiplication equations was solved by a retrieveand-compare strategy, but is this finding owed to using closely related false answers?A plausible consequence of using related-false products is that discrimination of true and false equations based only on familiarity was not a viable strategy because both trial types would produce a strong familiarity response (e.g., 2 × 8 = 14 might seem initially plausible).This could discourage use of familiarity information to perform the verification task and promote predominant use of a retrieve-and-compare strategy.Experiment 2 pursued RIF of addition fact retrieval manipulating the relatedness of false verification answers during the multiplication practice phase.
One group constituted a replication of the verification condition in Experiment 1 in which false multiplication answers were categorically related (i.e., a multiple of one of the factors and the correct answer if one operand was changed by ±1; e.g., 2 × 8 = 14).For the second group in Experiment 2, the false answers were unrelated in that they were not a multiple of either operand; e.g., 2 × 8 = 21).Participants find it much easier to reject such unrelated-false answers compared to related-false answers (Campbell, 1987;Koshmider & Ashcraft, 1991).
Having all false equations appear with an unrelated-false product (e.g., 2 × 8 = 21) could increase the utility of a familiarity-based recognition strategy because true equations (e.g., 2 × 8 = 16) and unrelated-false equations (e.g., 2 × 8 = 21) may be readily discriminable based on familiarity.In this case, in Experiment 2 we would expect to observe RIF for the related-false multiplication group as in Experiment 1 but not the unrelated-false multiplication group because using a recognition-based strategy that does not require explicit retrieval of the correct product should not produce RIF of addition counterparts.

Experiment 2 Method
Seventy-two participant who did not participant in Experiment 1 were recruited in the same way as in Experiment 1.The sample included 51 women and 21 men with a mean age of 22.7 years (SE = 0.60).There were 66 right-handed, 5 left-handed, and 1 ambidextrous participant.Experiment 2 was the same as Experiment 1 Retrieval Priming in Product Verification 580 except that the production group was replaced with an unrelated-false verification group.Unrelated false answers were created by randomly selecting per trial one of the four answers produced by adding or subtracting 1 to/from both operands and then using the product as the false answer.In the case that no non-multiples were produced with this method, the false answer was the true answer plus or minus 1.

Multiplication Practice Phase
RT -A total of 199 practice RTs (2.3%) were excluded as in Experiment 1.The overall error rate during multiplication practice was 4.5%.Mean RT for correct responses received a False-answer type (related practice group vs. unrelated practice group) × Problem type (true vs. false) × Block (1 to 6) ANOVA with false-answer type as a between-participants factor and problem type and block as repeated-measures factors.The corresponding mean RTs and SEs appear in Table 3.As in Experiment 1, mean RT followed a decelerating speed-up function across practice blocks with means of 1042, 935, 912, 887, 873, and 857 ms [F(3.642, 254.955) = 36.82,p < .001,MSE = 24099, η 2 p = .35,BF < .0001].There were no significant interactions involving the block factor (all p > .05).False equations were answered slower than true equations [F(1, 70) = 195.32,p < .001,MSE = 31311, η 2 p = .74,BF < .0001],but the between group false-answer type factor interacted with problem type [F(1, 70) = 7.28, p = .009,MSE = 31311, η 2 p = .09,BF = .24]:The two groups had similar mean RTs for true equations (835 ms and 832 ms for the unrelated-false and related-false groups, respectively), but related-false equations were answered slower on average (1033 ms) than unrelated-false equations (971 ms).There were no other significant omnibus effects (all p > .06).

Addition Test Phase
RT -A total of 77 test RTs (2.7%) were discarded as outliers as in Experiment 1.The error rate was 3.3% of trials.Mean RT for correct trials was analyzed as in Experiment 1 and the means and SEs appear in Table 4.

Discussion
During the multiplication-practice phase, unrelated-false equations were answered faster on average than related-false equations (971 ms vs. 1033 ms), but this difference between the groups was not observed for true equations (835 ms vs. 832 ms).Thus, as expected, unrelated-false equations were relatively faster to be identified as false compared to related-false equations.Nonetheless, in the test phase, having answered unrelatedfalse multiplication equations produced quite robust RIF of the addition counterparts in Block 1 (70 ms), suggesting that retrieval of correct products occurred for the unrelated-false multiplication problems in the practice phase.The related-false replication group produced significant RIF only for true equations but the evidence was weak that the addition RIF effect from practice of true multiplication equations was statistically greater than from practice of related-false equations and only observed in test Block 2. When the two related-false verification groups from Experiments 1 and 2 were combined, the observed addition RIF averaged across blocks was approximately twice as large following practice of true product-verification equations (46 ms, SE = 10.6) compared to following related-false equations (21 ms, SE = 8.1) [F(1, 70) = 7.76, p = .007,MSE = 5799, η 2 p = .10,BF = .20].Thus, the combined experiments provided positive evidence that verification of true multiplication equations induced stronger RIF in addition counterparts than did practice of related-false equations.

General Discussion
Arithmetic verification is a widely-used experimental task, but what type of cognitive skill does it measure?Two experiments were designed to use RIF of addition fact retrieval as a diagnostic tool to assess whether multiplication product retrieval or a familiarity-based recognition strategy was used to solve true-false multiplication verification equations.Selection between these two strategies has been assumed to depend on familiarity or plausibility of the false answers used.We proposed that addition RIF from multiplication retrieval practice is indicative of answer retrieval rather than only a familiarity/plausibility check for multiplication verification because addition RIF has repeatedly been demonstrated to be retrieval dependent (e.g., Campbell & Thompson, 2012a;Campbell et al., 2013).Merely studying correct multiplication equations (e.g., 2 × 3 = 6) does not produce a subsequent slowing of correct answer retrieval for the addition counterparts (2 + 3 = ?),even when study practice is as effective as retrieval practice in facilitating subsequent product retrieval of the studied multiplication problems (Campbell & Thompson, 2012a).Accordingly, we would expect to observe addition RIF following Neudorf,Chen,& Campbell 583 practice of multiplication verification only if correct product retrieval occurred during verification performance.
Thus, the addition RIF effect provides indirect evidence that multiplication answer retrieval occurred during the practice phase.
Experiment 1 used related-false verification products (e.g., 6 × 4 = 28), which are products categorically related to one of the problem factors (i.e., operands).These would be expected to be relatively difficult to identify as false based on familiarity alone and therefore likely to promote a retrieve-and-compare strategy.Strong addition RIF was observed from verification practice of multiplication counterparts and it was not statistically different in effect size compared to the RIF produced by answer-production multiplication practice.Nonetheless, there was evidence in Experiment 1 that true-verification produced a larger addition RIF effect on addition counterparts than did false-verification multiplication practice.The related-false replication group in Experiment 2 did not produce as strong evidence as Experiment 1 that true multiplication verification yielded stronger addition RIF than related-false verification, but the effect was present for this group in Block 2 (51 ms for true vs. 13 ms for false), and evidence for the effect was positive when the two related-false verification groups from Experiments 1 and 2 were combined, with RIF averaged across blocks approximately twice as large for true as for related-false equations (46 ms vs. 21 ms).Campbell (1987) proposed that true verification equations primed retrieval of the correct product, whereas related-false equations interfered with retrieval of the correct product and often induced retrieval errors (see also Meagher & Campbell, 1995;Romero et al., 2006, p. 106).It follows that, because addition RIF is retrieval dependent, correct-answer priming and related-answer interference effects could contribute to stronger addition RIF from practice of true than related-false multiplication verification equations.
Experiment 2 introduced an unrelated-false multiplication practice condition.Although unrelated-false verification was easier (i.e., faster) than related-false verification, which might have induced a familiarity-based recognition strategy that would not produce addition RIF, we nonetheless observed addition RIF from practice of unrelated-false multiplication equal in magnitude to true-verification equations.This is consistent with correctproduct retrieval mediating both true and unrelated-false verification equations.Perhaps correct answer priming on true trials promotes retrieve-and-compare more generally, at least when false answers are somewhat plausible.The similar RIF effect size for true and unrelated-false multiplication equations suggests that retrieve-andcompare is the default strategy under these experimental conditions.Finding addition RIF from verification practice of true, related-false and unrelated-false trials does not imply that a retrieve-and-compare strategy was used exclusively for multiplication verification in the present studies.Indeed, Romero et al. (2006, Experiment 1) found that North American university students reported using retrieve-and-compare on 72% of multiplication verification equations involving ties (e.g., 6 x 6 = 36) and small non-ties with a sum ≤ 10).Consistent with this, our results imply an answer-retrieval-based strategy was used for a sufficiently large proportion of true, relatedfalse and unrelated-false multiplication verification trials to induce a robust RIF effect on the addition counterpart problems.

Reconciling the RIF and Error-Priming Evidence
Arithmetic RIF and error priming in arithmetic both reflect associative competition in retrieval but the two phenomena may arise through different mechanisms.As explained previously, Campbell and Tarling (1996) found in blocks of alternating production and verification trials that error priming was task specific (i.e., correct production trials such as 8 × 3 = "twenty four" primed future production errors such 8 × 4 = "twenty four", but did not prime future verification errors, and vice versa).They concluded that multiplication production and verification were mediated by different memory processes and suggested a familiarity-based over a retrieval-based model of arithmetic verification.In contrast to this same-task dependency for error priming, the present results provided good evidence that both multiplication production and verification involved retrieval of the correct product, as evidenced by RIF of the addition counterparts.This is not the only dissociation observed between error priming and RIF in arithmetic.Campbell (1994) examined error priming in both simple addition and multiplication in separate blocks with the problem format (Arabic digits or English number words) alternating across trials.
Both multiplication and addition presented format-specific error priming but no cross-format error priming (i.e., Arabic format problems primed errors on later Arabic-format problems but not on word-format problems, and vice versa).Nonetheless, Campbell and Thompson (2012a) found that practicing multiplication facts in visual number word format (e.g., three × four) induced RIF measured in RT for addition counterparts tested in digit format (e.g., 3 + 4).
Thus, although error priming and RIF in number-fact retrieval are both indicators of retrieval competition, they apparently arise from distinct mechanisms.Error priming is sensitive to the conditions of problem encoding (verification equation vs. production problem; Arabic digit vs. number word format) whereas arithmetic RIF is less sensitive to these factors.Error priming has been shown to be stronger when the priming problem and error-primed problem have the same operand in the same left or right position.For example, solving 6 × 4 is more likely to prime its answer (24) as an error to 8 × 4 than to 4 × 8 (Arbuthnott & Campbell, 1996).Error priming therefore may reflect interference resulting from re-instantiation of a recent retrieval pathway when the current problem shares encoding surface features with a previous retrieval episode (e.g., a common operand, operand surface format and operand spatial position).As noted previously, study of multiplication facts (i.e., viewing and reading aloud 3 × 4 = 12) does not induce RIF in addition counterparts even when the study phase produces robust facilitation in a subsequent product production task (3 × 4 = ?;Campbell & Thompson, 2012a).
This indicates that priming of problem surface features and increasing the memory strength of the studied problem is insufficient to produce RIF.Instead, addition RIF effects may reflect inhibition of retrieval competitors during multiplication retrieval practice and this inhibitory mechanism of interference occurs when the target is successfully retrieved regardless of the similarity of practice and test problem format (see Storm & Levy, 2012, for a review of the status of an inhibition theory of RIF).

Conclusion
The present experiments provided strong evidence that multiplication verification produced RIF in addition counterparts expressed in slower addition RTs.Multiplication-induced RIF of addition counterparts has been repeatedly shown not to occur when multiplication equations are studied and no answer is generated, as would normally be the case if multiplication verification was solved by a familiarity-based recognition strategy to discriminate true from false equations.Consequently, the present results are strong evidence that product retrieval occurred in multiplication verification, even for false equations with weakly associated presented answers (i.e., the unrelated false products used in Experiment 2).We propose that except under conditions in which participants are induced to use logical criteria (e.g., odd even agreement of presented and correct answer) or that answers are very implausible (remote in numerical magnitude from correct) that retrieval of the product is normally a routine stage of the verification process (Ashcraft et al., 1984;Koshmider & Ashcraft, 1991), at least for the small and tie simple multiplication problems that induce RIF in addition counterparts (Campbell & Thompson, 2012a).The results also suggest that verification practice can be a useful task to facilitate multiplication production learning, given that answer memory retrieval is routinely involved in verification practice.
61 errors in the test phase, 2.1% of trials.Of the 432 Participant × Problem type × Block cells, 375 (86.8%) contained zero errors.The preponderance of cells at the measurement floor precluded detailed inferential analyses of test phase errors.Neudorf, Chen, & Campbell 579

Table 1
Mean Response Time (SE) and Percentage of Errors by Practice Task, Problem Type, and Block in the Practice Phase of Experiment 1 ).For example, BF equal to 10 for a given ANOVA test indicates that the data favor H 0 over H 1 by 10 to 1, whereas a value of 0.1 indicates a 10 to 1 ratio in favour of H 1. iMultiplication Practice PhaseRT -A total of 451 practice RTs (5.2%) were marked for exclusion by the experimenter because the voice-key failed to detect response onset, or were discarded as outliers more than 2.5 SD from each Block (1 to 6) × Problem Type (true practiced, false practiced) mean for each participant.The overall error rate (excluding foil problems) during multiplication practice was 3.4%.Mean RT for correct responses received a Practice task (verification vs. production) × Problem type (true vs. false) × Block (1 to 6) ANOVA with practice task as a between-participants factor and problem type and block as repeated-measures factors.True vs. false problem type was a pseudo-factor for the production-practice group.The corresponding means and SEs appear in Table1.iiMeanRTfollowed a decelerating speed-up function across practice blocks (means of 1110, 992, 994, 953, 947 and 943 ms) with greater RT gains from Block 1 to Block 2 than across later practice blocks[F(3.

Table 2
Mean Response Time (SE) and Mean Percentage of Errors (SE) by Practice Group, Problem Type, and Block in the Test Phase of Experiment 1.Note.ΔTrue and ΔFalse represent potential RIF effects (i.e., difference RT relative to the unpracticed condition as subtrahend) for true and false problems respectively.True vs. false was a pseudo-factor for the production-practice group in that the counterbalancing of problem subsets was the same as for the verification-practice group.

Table 3
Mean Response Time (SE) and Mean Percentage of Errors (SE) by Practice Task, Problem Type, and Block in The Practice Phase of Experiment 2.

Table 4
Mean Response Time (SE) and Mean Percentage of Errors (SE) by Practice Group, Problem Type, and Block in the Test Phase of Experiment 2 Note.ΔTrue and ΔFalse represent potential RIF effects (i.e., difference RT relative to the unpracticed condition as subtrahend) for true and false problems respectively.*p ≤ .05. **p ≤ .01.With df = 35.
Table 4 includes the mean percentage of test phase errors by false-answer type, practice type