The problem and the predecessor ledger

The central distinction is

The aim is to prove relations among these objects after defining each one, not to identify them by terminology.

The finite-channel conventions are standard Watrous. Operational causal notions require a stated intervention class; broader notions of influence need not agree in every probabilistic theory Perinotti. Circuit paths can overestimate the influence of a unitary transformation LorenzBarrett. We use an intervention-based notion throughout.