Remark: What is and is not identified

Both models are unrecoverable from $L$ alone because their channel to $L$ is constant. The difference in (eq:toyerrors) concerns $EL$ access. It is not a violation of uniqueness of a minimal complementary channel for a fixed complete accessible channel.

Moreover,

Thus even the complete accessible state, its purity, and its entropy for this one input fail to determine arbitrary-input recovery. This is the same operational distinction emphasized by Em05-A's marginal separation CheungEm05A ({cor:separation}).