Remark: Nonlinear backreaction

The map in eq:coupling need not be affine in $\rho$. The complete coupled evolution is not generally $\mathrm{CPTP}$. The noninterference proofs compare equal coupling inputs; they do not establish no-signalling for arbitrary nonlinear backreaction.