Alice and Bob
Alice and Bob perform measurements on system S whose underlying Hilbert space is