is given by a shared bipartite state that does not depend on the input, and a family of projective measurements for Alice, indexed by her input, similarly for Bob.
(More general measurements could be considered, but projective measurements suffice [1]}.)
