Heisenberg picture
Taking adjoint maps in the Heisenberg picture, the success condition becomes