Skip to content

Counterfactual Subtraction

Prime #
758
Origin domain
Statistics & Experimental Design
Subdomain
causal inference → Statistics & Experimental Design
Aliases
Difference in Differences

Core Idea

Counterfactual subtraction is the structural pattern of estimating a quantity of interest — an effect, an attribution, an impact, a signal — by subtracting an observed or modelled baseline that represents what would have obtained absent the intervention or event of interest. The estimate is the difference between the observed outcome and the counterfactual baseline; the residual after subtraction is attributed to the intervention. The move's validity rests entirely on the credibility of the baseline as a stand-in for the unobserved counterfactual condition — not on the arithmetic of the subtraction, which is trivial.

The pattern carries four structural commitments. The baseline is not observed under the intervention but is constructed to represent what would have been observed in its absence. The subtraction nets out anything common to the observed and counterfactual conditions, so only the difference survives. The residual is attributed to the intervention. And the inference's strength is the credibility of the baseline construction, not the subtraction step. The structural logic is a reduction: a causal question ("what did the intervention do?") is reduced to an observational question ("what would have been observed absent the intervention?") plus an arithmetic operation. The arithmetic is the cheap, estimable part; the observational question, having no direct answer, is decided by the design of the baseline. Substrate-specific methods — difference-in-differences, randomised control, synthetic control, climate counterfactual simulation, gene knockout, BATNA comparison — are different constructions of the same counterfactual baseline, and the subtraction step is invariant across all of them. The reduction is powerful because it transports the substrate-neutral machinery of estimation (point estimate, standard error, robustness checks) onto a causal question that would otherwise be irreducibly philosophical; it is fragile because the construction of the counterfactual is not estimable from the data the way the subtraction is — identifying assumptions carry the inference and live outside the arithmetic.

How would you explain it like I'm…

The Twin-Plant Trick

Suppose you water one plant and leave a twin plant alone, then see how much taller the watered one grew. You subtract the un-watered twin's height to find out what the water did. The twin shows what would have happened without the water, so the extra growth is the water's effect.

Subtract the Would-Have-Been

Counterfactual subtraction is a way to measure the effect of something by subtracting a baseline that stands for what would have happened without it. You take the outcome you actually saw, subtract the would-have-been outcome, and call the leftover the effect of the change. The subtraction itself is easy arithmetic; the hard and important part is building a believable baseline, because the no-change world never actually happened, so you cannot just look it up. If your baseline guess is good, your answer is good; if your baseline is wrong, the whole estimate is wrong even though the subtraction was correct. That is why all the care goes into how you build the baseline, not into the subtracting.

Observed Minus Baseline

Counterfactual subtraction is the pattern of estimating a quantity of interest, an effect or impact, by subtracting a baseline that represents what would have obtained absent the intervention. The estimate is the observed outcome minus the counterfactual baseline, and the residual is attributed to the intervention. Crucially, the whole validity rests on the baseline being a credible stand-in for the unobserved counterfactual, not on the arithmetic, which is trivial. Structurally it is a reduction: a causal question (what did the intervention do?) is turned into an observational question (what would have been observed without it?) plus a cheap subtraction. Different methods, like difference-in-differences, randomised control, synthetic control, or a gene knockout, are just different constructions of the same baseline, with the subtraction identical across all of them. It is powerful because it imports ordinary estimation machinery onto a causal question, but fragile because the baseline construction, unlike the subtraction, is not estimable from the data and rests on identifying assumptions that live outside the arithmetic.

 

Counterfactual subtraction is the structural pattern of estimating a quantity of interest, an effect, attribution, impact, or signal, by subtracting an observed or modelled baseline that represents what would have obtained absent the intervention or event of interest. The estimate is the difference between the observed outcome and the counterfactual baseline, and the residual after subtraction is attributed to the intervention; the move's validity rests entirely on the credibility of the baseline, not on the arithmetic, which is trivial. Four commitments: the baseline is not observed under the intervention but constructed to represent its absence; the subtraction nets out anything common to the observed and counterfactual conditions, so only the difference survives; the residual is attributed to the intervention; and the inference's strength is the baseline's credibility, not the subtraction step. The structural logic is a reduction: a causal question (what did the intervention do?) is reduced to an observational question (what would have been observed absent it?) plus an arithmetic operation. The arithmetic is cheap and estimable; the observational question, having no direct answer, is decided by the design of the baseline. Substrate-specific methods, difference-in-differences, randomised control, synthetic control, climate counterfactual simulation, gene knockout, BATNA comparison, are different constructions of the same counterfactual baseline, the subtraction invariant across all. It is powerful because it transports substrate-neutral estimation machinery (point estimate, standard error, robustness checks) onto an otherwise philosophical causal question, and fragile because the baseline construction, unlike the subtraction, is not estimable from the data; identifying assumptions carry the inference and live outside the arithmetic.

Structural Signature

the observed-outcome-under-intervention term — the constructed-baseline standing in for the unobserved counterfactual — the netting-out subtraction that cancels what is common — the residual attributed to the intervention — the identifying assumption that licenses the baseline — the orthogonality of arithmetic precision and baseline credibility

A configuration exhibits counterfactual subtraction when each of the following holds:

  • An observed term. Some quantity is measured under the actual condition in which the intervention or event is present: an outcome, a level, a signal, a return.
  • A constructed counterfactual baseline. A second term is built to stand in for what would have obtained in the absence of the intervention. It is never directly observed under the intervention; it is produced by a construction (a control unit, a model run, a prior period, a reference benchmark).
  • A netting-out subtraction. The baseline is subtracted from the observed term, cancelling everything common to the two conditions so that only their difference survives. The arithmetic is trivial and substrate-invariant.
  • An attributed residual. The surviving difference is assigned to the intervention as its effect, impact, or attribution — the answer the configuration was built to produce.
  • An identifying assumption. A condition — exchangeability, parallel trends, no spillover, a stable background, an apt benchmark — must hold for the baseline to faithfully represent the counterfactual. It lives outside the data the subtraction operates on and cannot be verified by tightening the subtraction.
  • Orthogonal failure surfaces. The precision of the subtraction (standard error, sample size) and the credibility of the baseline are independent: a claim can be arithmetically impeccable and inferentially worthless, and added data repairs the former without touching the latter.

The components compose a reduction: a causal question is converted into an observational baseline-construction plus a trivial arithmetic step, so that all the inferential weight migrates to the assumption licensing the baseline, never to the subtraction.

What It Is Not

  • Not the counterfactual itself. counterfactuals is the unobserved alternative state of the world; counterfactual subtraction is the specific estimator that constructs a baseline as a stand-in for that state and nets it out. The prime is one operationalisation of the broader concept.
  • Not counterfactual_reasoning. That is the cognitive act of imagining what would have happened; this prime is the structural arithmetic of difference, indifferent to whether any reasoning is conscious — a dark-current subtraction in a detector reasons about nothing.
  • Not selection_bias. Selection bias is one specific way the baseline fails (a non-exchangeable comparison group); the prime names the whole subtraction structure for which selection bias is a single failure mode of the baseline term.
  • Not effect_size. Effect size is the magnitude the subtraction yields; the prime is the structural move that produces any such magnitude and locates its credibility in the baseline, not the number.
  • Not regression_to_the_mean. That is an artefact a bad baseline fails to net out (pre-post deltas mistaking reversion for treatment); the prime is the subtraction whose identifying assumption must rule such artefacts out.
  • Common misclassification. Treating a difference as a measurement. Any "X minus baseline" reported with a standard error but no statement of how the baseline stands in for the unobserved counterfactual is counterfactual subtraction masquerading as direct observation — catch it by asking what the subtracted term represents and what must hold for it to represent it.

Broad Use

  • Causal inference: placebo-subtracted treatment effect in randomised trials; difference-in-differences (a parallel-control unit's time-change subtracted); synthetic control (a weighted-control composite subtracted); regression adjustment (a conditional-mean subtracted); event studies (a pre-shock baseline subtracted).
  • Climate attribution: observed climate compared to a counterfactual model simulation without anthropogenic forcing, with the difference attributed to human influence.
  • Programme evaluation: with-project trajectory minus without-project trajectory, the residual taken as the programme's impact.
  • Pharmacology and clinical measurement: placebo-subtracted drug effect; baseline-subtracted pharmacokinetic curve; pre/post deltas in single-subject studies.
  • Signal processing and metrology: background-subtracted signal; dark-current subtraction in detectors; ambient-noise subtraction in acoustics; sky-subtracted astronomical spectra.
  • Genetics and molecular biology: knockout-versus-wild-type contrast for gene-function attribution; perturbation-versus-baseline transcriptomics.
  • Negotiation and performance measurement: BATNA subtraction (deal value minus best alternative); alpha as portfolio return minus benchmark; education value-added as outcome minus predicted-from-baseline outcome.

Clarity

The label exposes a move that is invisible in substrate vocabulary but identical across substrates. A reader who has internalised counterfactual subtraction stops reading "the drug reduced mortality by X%" as a numeric claim and reads it instead as "drug-arm mortality minus placebo-arm mortality was X% — and the credibility of the placebo arm as a counterfactual for the drug arm is what the inference is really about." The arithmetic becomes secondary; the baseline construction becomes primary. The same shift applies to climate-attribution percentages, programme-evaluation impact figures, and benchmark-relative performance claims, all of which present a difference as if it were a measurement while concealing the constructed baseline on which it depends. The clarifying separation is between the estimable part of the claim (the subtraction, with its standard error) and the assumed part (the baseline's fidelity to the unobserved counterfactual, which no amount of data within the design can verify). Naming the prime forces the assumed part into the open, so that "a hidden baseline is a hidden assumption" becomes the operative critique.

Manages Complexity

The pattern reduces a sprawling cross-substrate vocabulary — placebo arm, parallel trend, synthetic control, counterfactual climate, BATNA, dark current, expected return — to one structural operation with one shared failure mode, and a portable four-move intervention catalogue keyed to the baseline rather than the arithmetic. Audit the baseline as a counterfactual: under what conditions would it have correctly represented the counterfactual, and are those conditions plausible? Quantify baseline uncertainty: the subtraction inherits the baseline's uncertainty, so an estimate without baseline-uncertainty bounds is incomplete. Stress-test the baseline: bound the inference under alternative credible baselines, and if the sign of the residual is robust to baseline disagreement, the inference survives. Disclose the baseline construction: the credibility of any counterfactual-subtraction claim rests on the disclosed construction. The compression is that these four moves replace a separate critique apparatus for trials, evaluations, attribution studies, and performance claims with a single audit that targets the one component carrying the inference. An analyst who has learned to interrogate the placebo arm of a trial already knows how to interrogate the counterfactual climate model and the benchmark in an alpha calculation, because all three are baselines doing the same structural work.

Abstract Reasoning

The prime trains a reasoner to decompose any effect estimate into its three parts — an observed outcome under the intervention, a constructed baseline standing in for the counterfactual, and a subtraction — and to recognise that the arithmetic and the standard error attach to the subtraction while the inference's validity attaches to the baseline. The governing move is to relocate scrutiny from the number to its baseline: the central question is never "is the subtraction correct?" but "under what identifying assumption does this baseline credibly represent what would have happened absent the intervention, and is that assumption plausible here?" The identifying assumptions — parallel trends, exchangeability, no spillover, a well-specified control — are what carry the inference, and they live outside the data that the subtraction operates on, which is why a counterfactual-subtraction claim can be arithmetically impeccable and inferentially worthless at the same time. The non-obvious consequence is that improving the precision of the subtraction (tighter standard errors, more data) does nothing to repair a non-credible baseline; the two failure surfaces are orthogonal, and effort spent on the estimable part cannot substitute for scrutiny of the assumed part. The reasoning generalises to any decomposition of an observed quantity into "what happened" minus "what would have happened," which is why the prime sits one level below causality as a general method of operationalising a causal claim into a number.

Knowledge Transfer

A practitioner trained in one counterfactual-subtraction recipe recognises the move in all the others. An econometrician who runs difference-in-differences studies recognises the climate-attribution methodology as the same move with a counterfactual climate model in the role of the parallel-control unit; a geneticist running knockout experiments and a pharmacologist running placebo-controlled trials are using the same subtraction with different baseline-construction techniques; a negotiator who has internalised BATNA subtraction can translate that intuition to investment-alpha calculation and to programme-evaluation impact analysis. The role mappings transfer directly — observed outcome ↔ treatment-arm result / observed climate / with-project trajectory / measured signal / portfolio return; constructed baseline ↔ placebo arm / no-forcing simulation / control group / dark current / benchmark; residual ↔ treatment effect / attributed warming / programme impact / clean signal / alpha; identifying assumption ↔ randomisation / model adequacy / parallel trends / stable background / appropriate benchmark. The diagnostic move — "what is the counterfactual baseline here, and how was it constructed?" — is a generic audit that travels across substrates without modification, and the four-move catalogue (audit, quantify, stress-test, disclose) applies unchanged. The transferred and non-obvious lesson is that the credibility of an effect estimate is bounded by the credibility of its least-defensible baseline, not by the precision of its arithmetic, so the same four questions distinguish a sound from a hollow claim whether the substrate is a clinical trial, a climate study, a detector calibration, or a negotiation. Because the subtraction step is invariant and only the baseline construction is substrate-specific, an analyst who masters the audit in one field imports the entire discipline into the next, needing only to learn what the local baseline-construction technique is and what assumption it rests on.

Examples

Formal/abstract

Consider the synthetic-control estimator for the effect of a state-level cigarette tax on per-capita consumption. The observed term is the treated state's post-policy consumption trajectory. The constructed baseline is a weighted composite of untreated "donor" states, with weights chosen so the composite tracks the treated state's pre-policy consumption — the synthetic counterfactual standing in for what the treated state would have consumed absent the tax. The netting-out subtraction takes observed minus synthetic at each post-policy period; whatever the two conditions shared (national consumption trends, common shocks) cancels, leaving the gap. The residual is the attributed treatment effect: a widening gap is read as the tax suppressing consumption. The whole inference now rests on the identifying assumption that the donor-weighted composite, which matched pre-policy, would have continued to match absent the intervention. The subtraction's precision (placebo-test inference, confidence in the gap) is orthogonal to that assumption: one can compute a tight, well-bounded gap whose interpretation collapses entirely if a donor state experienced its own unrelated consumption shock post-policy. The disciplined analyst therefore runs placebo studies — applying the same subtraction to untreated states, where the "effect" should be zero — to interrogate the baseline, not the arithmetic. Mapped back: the donor composite is the constructed baseline, the post-policy gap is the netted residual, and the pre-policy fit plus continued-parallelism is the identifying assumption that carries the inference, exactly as the prime predicts — the subtraction is trivial, the baseline is everything.

Applied/industry

A pharmaceutical phase-III trial reports that a drug reduced 30-day mortality by 4 percentage points. The observed term is the treatment arm's mortality; the constructed baseline is the placebo arm's mortality, built to represent what the treatment-arm patients would have experienced untreated. The subtraction nets out everything the two arms shared — disease severity, standard-of-care background, calendar effects — because randomisation made the arms exchangeable, and the residual 4 points is attributed to the drug. The identifying assumption is randomisation-plus-blinding: that the placebo arm is a faithful counterfactual, broken if blinding fails or dropout is differential. A second industry instance: a marketing team measures a campaign's "incremental conversions" as observed conversions minus a holdout-group baseline of users deliberately excluded from the campaign. Here the channel of fragility is the same — the holdout must be a credible counterfactual for the exposed group, which fails if the holdout was selected non-randomly (e.g., users the targeting system judged less likely to convert). In both cases, more data (larger arms, bigger holdout) tightens the standard error on the subtraction while doing nothing to repair a non-exchangeable baseline. Mapped back: placebo arm and holdout group are constructed baselines, the netted differences are attributed residuals, randomisation and holdout-selection are the identifying assumptions — and the four-move audit (audit, quantify, stress-test, disclose the baseline) is the same discipline whether the substrate is a clinical trial or an ad campaign.

Structural Tensions

T1 — Estimable Precision versus Unestimable Credibility (measurement). The prime's defining split is that the subtraction's standard error is computable from the data while the baseline's fidelity is not. The productive tension is that both feel like "rigour," but only one is bounded by the data in hand. The characteristic failure mode is precision theatre: pouring sample size and tighter confidence intervals onto a non-credible baseline and presenting the narrowed interval as strengthened inference. The diagnostic: ask whether the reported uncertainty includes baseline-construction uncertainty or only sampling uncertainty — if shrinking the error bars cannot, even in principle, repair the identifying assumption, the precision is decorating an untouched fragility.

T2 — Static Baseline versus Drifting Counterfactual (temporal). The baseline is validated against a pre-intervention period or matched present, but it is asked to represent a counterfactual that extends forward in time. The tension is between a baseline that fit when constructed and one that would have continued to fit absent the intervention. The failure mode is treating pre-period parallelism as a guarantee of post-period parallelism — the synthetic control matched for a decade, then a donor unit absorbed an unrelated shock. The diagnostic is the placebo-in-time test: run the same subtraction across a window where the effect must be zero, and watch whether the baseline silently diverges.

T3 — Common-Cause Subtraction versus Effect-on-the-Mediator (scopal). Netting-out cancels whatever the two conditions share — but only if the shared component is genuinely exogenous to the intervention. The tension is between subtracting a true common background and subtracting something the intervention itself moved. The failure mode is over-subtraction: controlling away a post-treatment variable that lies on the causal path, so the residual under-states or zeroes a real effect. The diagnostic: trace whether any term in the baseline could itself respond to the intervention; if the baseline is endogenous, the subtraction is removing signal, not noise.

T4 — Single Counterfactual versus Distribution of Counterfactuals (sign/robustness). The prime constructs one baseline, but the unobserved counterfactual is uncertain across many plausible constructions. The productive tension is between a point estimate and the envelope of credible baselines. The failure mode is baseline-shopping or accidental cherry-picking: reporting the one construction that yields the desired sign while equally defensible baselines flip it. The diagnostic is the stress-test the prime names: bound the residual under the full set of credible baselines, and if the sign is not robust to baseline disagreement, no amount of arithmetic precision rescues the claim.

T5 — Subtraction Additivity versus Interaction (coupling). The arithmetic assumes the effect adds onto the baseline — observed equals counterfactual plus effect. The tension arises where intervention and background interact multiplicatively or non-linearly, so the difference is not a clean, transportable "effect." The failure mode is exporting a subtracted residual to a new population with a different baseline level and expecting the same delta, when the true relationship was a ratio or a threshold. The diagnostic: check whether the residual is stable across baseline levels; if the effect scales with the baseline, the additive subtraction has mis-specified the estimand.

T6 — Local Identification versus Aggregate Attribution (scalar). Each subtraction identifies an effect relative to its own local baseline, but decision-makers aggregate many such residuals into a global attribution. The tension is between locally valid differences and a sum that double-counts or omits cross-unit spillovers the netting-out assumed away. The failure mode is composing per-unit effects into a portfolio total while no-spillover held within units but not between them — the holdout was clean for each campaign, but the campaigns cannibalised each other. The diagnostic: ask whether the no-interference assumption that licensed each local baseline still holds once the residuals are summed across the whole system.

Structural–Framed Character

Counterfactual subtraction sits at the structural end of the structural–framed spectrum, with an aggregate of 0.0: it is a bare estimation move — observed term minus constructed baseline, residual attributed to the intervention — that holds its shape in any substrate where an effect is read as a difference. Nothing about its meaning depends on a particular field's lexicon or values.

Every diagnostic reads structural. The pattern carries no home vocabulary that must travel: the same subtraction is told as a placebo arm in a clinical trial, a no-forcing simulation in climate attribution, a dark-current subtraction in a detector, and a BATNA in negotiation, each substrate naming the baseline in its own words while the structural move stays fixed. It carries no inherent approval or disapproval — a counterfactual subtraction is neither sound nor hollow until you specify how the baseline was built; the arithmetic itself is value-neutral. Its origin is formal: the move is statable as "observed equals counterfactual plus effect" with no appeal to any institution, and it runs indifferently in a metrology instrument, a transcriptomics assay, and a programme evaluation, none of which presupposes a human practice. And invoking it RECOGNISES a pattern already wired into any effect estimate rather than IMPORTING an interpretive frame — to name it is to point at the subtraction that was always there, not to overlay an economics or governance reading. On every diagnostic the prime reads structural, which is exactly what the 0.0 aggregate records.

Substrate Independence

Counterfactual subtraction is about as substrate-independent as a prime can be — composite 5 / 5 on the substrate-independence scale. Its domain breadth is total: the same observed-minus-baseline estimator carries identical structural force across randomised clinical trials, climate attribution against no-forcing simulations, difference-in-differences in econometrics, dark-current and sky subtraction in detectors and astronomy, knockout-versus-wild-type contrasts in molecular genetics, BATNA comparison in negotiation, and benchmark-relative alpha in finance — physical, biological, social, and computational substrates alike. Its structural abstraction is maximal because the signature is stated in pure relational terms — "observed equals counterfactual plus effect," with the inference's weight on the baseline rather than the trivial arithmetic — carrying no domain-specific commitment; a dark-current subtraction reasons about nothing, yet instantiates the move exactly. And the transfer evidence is heavy and concrete: each substrate has its own named, formalised construction of the same counterfactual baseline (synthetic control, placebo arm, parallel-trends design), so the move is recognised, not translated, when an econometrician reads a climate-attribution study. Maximal breadth, maximal abstraction, and documented transfer all line up, making this a canonical 5.

  • Composite substrate independence — 5 / 5
  • Domain breadth — 5 / 5
  • Structural abstraction — 5 / 5
  • Transfer evidence — 5 / 5

Relationships to Other Primes

One-hop neighborhood: parents above, mutual partners to the right, children below.CounterfactualSubtractioncomposition: CounterfactualsCounterfactuals

Parents (1) — more general patterns this builds on

  • Counterfactual Subtraction presupposes Counterfactuals

    The ESTIMATOR that operationalises a counterfactual into a number: observed minus a constructed baseline standing in for the unobserved counterfactual. The file: 'one operationalisation of the broader concept', sitting 'one level below causality'. Presupposes counterfactuals (the metaphysical target).

Path to root: Counterfactual Subtraction → Counterfactuals → Modal Reasoning

Neighborhood in Abstraction Space

Counterfactual Subtraction sits in a moderately populated region (60th percentile for distinctiveness): it has near-neighbors but no dense thicket of synonyms.

Family — Causality, Counterfactuals & Logic of Claims (22 primes)

Nearest neighbors

Computed from structural-signature embeddings · 2026-06-14

Not to Be Confused With

The closest and most dangerous confusion is with counterfactuals, the prime's nearest neighbour. counterfactuals names the metaphysical object — the unobserved alternative world in which the intervention did not occur. It is a claim about what is true in that world, and its central problems are philosophical: what makes a counterfactual conditional true, how close must the alternative world be, what fixes the relevant similarity. Counterfactual subtraction is not the alternative world but a method for putting a number on it: build an estimable baseline that stands in for the unobserved state, subtract, attribute the residual. The two differ in role and invariant. counterfactuals invariant is the truth-condition of the conditional; the subtraction's invariant is that observed equals counterfactual plus effect, so the residual is the effect only if the baseline faithfully realises the counterfactual. A practitioner who collapses them mistakes the difficulty of the philosophy for solved when they have computed a number — but the number inherits every unresolved question about which counterfactual the baseline actually represents.

A subtler confusion is with selection_bias. Because both are about comparison groups going wrong, a reader can treat them as the same diagnosis. They are not at the same level. selection_bias is a failure mechanism — the comparison units differ systematically from the treated units in ways correlated with the outcome — and it is one specific way a baseline can be unfaithful. Counterfactual subtraction is the structure within which that mechanism does its damage: the prime says the inference rests entirely on the baseline's credibility, and selection bias is one named reason the baseline lacks it. The distinction matters because the prime predicts an entire family of baseline failures (drift, endogeneity, non-additivity, spillover) of which selection bias is merely the most familiar; an analyst who only knows to check for selection bias will miss the temporal-drift and over-subtraction failures the prime's tension list enumerates.

A third confusion worth drawing is with effect_size. Effect size is the output — the standardised magnitude of a difference — and a reader can mistake having an effect size for having a credible effect. The prime's whole point is that the magnitude and its precision (the estimable part) are orthogonal to the baseline's credibility (the assumed part). An impressive effect size computed against an indefensible baseline is precisely the precision-theatre failure the prime names: the number is real, its interpretation is hollow. Effect size lives downstream of the subtraction and says nothing about whether the subtracted baseline earned its place.

For a practitioner these distinctions converge on one discipline: never let the existence of a number, a comparison group, or a magnitude substitute for an argument that the baseline faithfully represents the unobserved counterfactual. counterfactuals reminds you the target is a world you never see; selection_bias names one way your stand-in for it fails; effect_size is what you report once you have, perhaps wrongly, trusted the stand-in. The prime is the structure that ties them together and tells you where the inferential weight actually sits.

Solution Archetypes

No catalogued solution archetypes reference this prime yet.