An exact algebraic recovery condition

For a generic $U$, equation (eq:L) still defines a selective map, but neither constant success probability nor exact conditional recovery is presumed. A different fidelity or decoupling certificate must then be supplied.