Remark: The joint-snapshot caveat

Equal restrictions on $\mathfrak{A}(I)$ alone do not imply equal restrictions on $\mathfrak{A}(I)\otimes M_r$. Two different Bell states have the same system marginal but different joint system–reference states. Theorem thm:comparison does not erase those correlations.