In our language, the condition of terminality corresponds to the independence condition \( f_A (\rho ) \sim _B \rho , \) 
where \(f_A\)  are local functions on a system \(A\)  and \(\sim _B\)  corresponds to the local picture of other systems \(B\)  outside \(A\) .
Recall that the assumptions behind process theories like [1]} impose some structure on transformations and agents, in particular commutation between agents' local actions. As we saw in Proposition , this independence condition together with commutation already implies secrecy.
