The two-qubit protocol

These are the parent conditional maps of X-Enter XEnter (:relational). With an arbitrary passive finite residual $A$, replace each bra in the proof by its tensor product with $I_A$. The output retains the corresponding conditional $A$-blocks. Equation (eq:relcov) still holds including arbitrary correlations with a reference.