Manuscript En05-B@1 · En05-B.tex · remark · 8b626460
Remark: The intervention, not ancestry, is matched
Exact realization and matched local replacements › Matched realization · lines 1394–1399
A replaced instrument may ignore some scheduled inputs. Theorem thm:matched does not identify every ancestor with an influential port. It preserves the local replacement relation needed to apply Lemma lem:locality.