The Riemann–Siegel formula represents Hardy’s Z-function as a finite main sum plus a remainder. Choosing the prescribed truncation index determines which terms belong to the main sum. It does not make the omitted contribution zero. A certified value needs a justified remainder enclosure and numerical rounding control.
This guide develops one focused reader question within the Zeta Function subject guide. It adds a complete mechanism, original worked decisions, changed-context transfer checks and explicit limits. Read it with The Gold Standard of Education | Learning That Transfers into Life and the How X Works.
All numerical examples are invented teaching cases. They are not operational measurements, production records, financial advice, conservation findings or compliance results.
At a fictional t=100, the formula uses m=floor(sqrt(100/(2π)))=3. Suppose interval arithmetic encloses the three-term main sum in [2.680,2.686] and a justified analytic remainder in [−0.041,−0.035]. Then Z(100) lies in their Minkowski sum [2.639,2.651]. Reporting 2.683 from the main sum alone omits the remainder; attaching more decimals does not repair that missing term. NIST DLMF §25.10 gives the Riemann–Siegel formula, its truncation index and the asymptotic remainder expansion.
Continue with Separating Gram-Point Sign Checks from a Complete Zero Count, Distinguishing a Small Residual from a Certified Isolated Zero and the Zeta Function root.
The short answer is to keep the target quantity, observation and reporting rule separate. Name what the system intends to estimate, what was actually observed, how the summary was formed and which conditions make the inference defensible. If one field is missing, keep the ambiguity visible.
eduKateSG · Zeta Function
Find your next learning step
The Riemann–Siegel formula represents Hardy’s Z-function as a finite main sum plus a remainder. Choosing the prescribed truncation index determines which terms belong to the main sum. It does not make the omitted contribution zero. A certified value needs a justified remainder enclosure and numerical rounding control.
Chapter contents
Frame the question · Chapters 1–5
2. Separate the two target quantities
Work the example · Chapters 6–10
6. Work the central calculation
7. Check units before interpretation
Check the evidence · Chapters 11–14
11. Use controls that can fail differently
12. Carry uncertainty into the claim
Transfer the method · Chapters 15–18
16. Change one consequential condition
Audit and continue · Chapters 19–22
19. State what it cannot establish
20. Repair an overconfident sentence
Ask whether the reader needs a finite main-sum value, a complete approximation, a sign certificate or an asymptotic statement.
Write an evidence ledger before calculating: target quantity, object, unit, boundary, observation rule, transformation and decision limit. Mark every input as observed, stipulated, fitted or assumed.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “define the reader question”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Separate truncation index m, evaluated main sum, analytic remainder and floating or interval evaluation error.
Draw the mechanism in order. Separate the underlying state, the measurement, the mathematical summary and the claim. Then name one rival explanation and the additional observation that could distinguish it.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “separate the two target quantities”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
State Hardy Z normalization, theta convention and the exact formula. Related formulas can use different phases or cutoffs.
Keep the comparison fair by holding the specimen, interval, protocol and denominator constant. If one changes, state that the new number answers a different question even when the label looks familiar.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “name the observation rule”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Record t, m, precision, term enclosures, remainder theorem, range of validity and final interval.
Use two checks that can fail differently: reconstruct a total, test a limiting case, repeat the result from definitions or inspect a shared control. Two calculations that reuse one assumption are only one check.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “protect the denominator and boundary”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Build t=100, m=3, main sum [2.680,2.686] and remainder [−0.041,−0.035].
Separate measurement from decision. A correct number can still be too local, uncertain or method-dependent for the intended action. Report it with its conditions and say what stronger evidence would be needed.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “build the fictional evidence ledger”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Interval addition gives [2.639,2.651]. The midpoint of the main sum is not the completed value.
| Component | Fictional enclosure |
|---|---|
| finite main sum | [2.680,2.686] |
| analytic remainder | [−0.041,−0.035] |
| completed value | [2.639,2.651] |
Preserve identity and order. Equal totals can hide different mechanisms when records come from different specimens, resources, homes or viewing geometries. Aggregate only after the question no longer depends on that identity.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “work the central calculation”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
The terms are function values. The big-O order describes asymptotic behavior, not a numerical error bar by itself.
Run a changed-context transfer check. Change one consequential condition while holding the remaining basis fixed, calculate again and explain why the result moves or stays stable.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “check units before interpretation”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Preserve the floor operation in m=floor(sqrt(t/(2π))). Rounding m differently changes the formula’s partition.
Put the boundary of inference beside the answer. Name the system, representation and interval to which the result applies, then name the nearest tempting conclusion the evidence does not establish.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “keep method settings visible”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
A usable remainder bound must apply at the chosen t and include constants or an evaluated enclosure, not only order notation.
Use uncertainty as structure. Vary the input most capable of changing the conclusion over a defensible range and show whether the ranking or interpretation changes.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “locate the usable range”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Cancellation can make relative error large even when absolute term errors are small.
Finish with a reproducible evidence package: source records, definitions, exclusions, calculations, validation result and revision rule.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “recognise saturation and censoring”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Check the sum independently, widen precision, compare a direct method and verify limiting or overlapping ranges.
Write an evidence ledger before calculating: target quantity, object, unit, boundary, observation rule, transformation and decision limit. Mark every input as observed, stipulated, fitted or assumed.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “use controls that can fail differently”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Carry rounding outward at every interval operation. Rounded decimal endpoints must still enclose the true value.
Draw the mechanism in order. Separate the underlying state, the measurement, the mathematical summary and the claim. Then name one rival explanation and the additional observation that could distinguish it.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “carry uncertainty into the claim”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
A poor result can come from a wrong phase, wrong m, omitted remainder or ordinary numerical error.
Keep the comparison fair by holding the specimen, interval, protocol and denominator constant. If one changes, state that the new number answers a different question even when the label looks familiar.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “separate mechanism from appearance”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Compare implementations only with matching formula, branches, truncation and error definition.
Use two checks that can fail differently: reconstruct a total, test a limiting case, repeat the result from definitions or inspect a shared control. Two calculations that reuse one assumption are only one check.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “compare like with like”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Test the rival explanation that a sign mismatch comes from phase convention by recomputing theta and each cosine argument.
Separate measurement from decision. A correct number can still be too local, uncertain or method-dependent for the intended action. Report it with its conditions and say what stronger evidence would be needed.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “test a rival explanation”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Change the remainder enclosure to [−2.700,−2.600] while keeping the main sum. The completed interval now crosses zero.
Preserve identity and order. Equal totals can hide different mechanisms when records come from different specimens, resources, homes or viewing geometries. Aggregate only after the question no longer depends on that identity.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “change one consequential condition”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
The same positive main sum no longer certifies a positive Z value, showing why the remainder belongs in the sign claim.
Run a changed-context transfer check. Change one consequential condition while holding the remaining basis fixed, calculate again and explain why the result moves or stays stable.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “recalculate the changed case”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
The example establishes interval combination under supplied valid component bounds.
Put the boundary of inference beside the answer. Name the system, representation and interval to which the result applies, then name the nearest tempting conclusion the evidence does not establish.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “state what the result establishes”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
It does not certify a real computation, derive the remainder constant or prove a zero result.
Use uncertainty as structure. Vary the input most capable of changing the conclusion over a defensible range and show whether the ranking or interpretation changes.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “state what it cannot establish”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Replace “three terms give Z(100)=2.683” with the main-sum enclosure, remainder enclosure and final interval.
Finish with a reproducible evidence package: source records, definitions, exclusions, calculations, validation result and revision rule.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “repair an overconfident sentence”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Is O(t^−1/4) a ready error bar? No.
Can extra main-sum digits replace the remainder? No.
Why use interval addition? It preserves every allowed component value.
Write an evidence ledger before calculating: target quantity, object, unit, boundary, observation rule, transformation and decision limit. Mark every input as observed, stipulated, fitted or assumed.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “answer focused reader questions”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.
Use the DLMF formula, preserve its cutoff and join analytic and numerical error into one auditable enclosure.
Draw the mechanism in order. Separate the underlying state, the measurement, the mathematical summary and the claim. Then name one rival explanation and the additional observation that could distinguish it.
Apply the rule to the central fictional case with unrounded inputs, then label the result with its object, unit and protocol. Name one alternative explanation and the observation that would distinguish it.
For Zeta Function, complete seven fields: target, object, unit, boundary, protocol, result and limit. For “continue through verified routes”, a plausible number can otherwise hide a changed definition or undocumented condition.
Change one condition that matters while holding the remaining basis fixed. Recalculate or re-inspect the evidence, state what stays comparable and name the stronger conclusion that still does not follow.
Close with two lines. The first states what the evidence establishes under the named conditions. The second states the nearest tempting conclusion that remains unsupported. Ask another reader to identify the condition that would make the first line false.
Evidence check: preserve the raw observation, the transformation, the comparison rule and the failed alternatives in one audit note. A future reader should be able to reproduce the narrow result without guessing which conditions were held constant.