Alice and Bob
In the following, assume that Alice and Bob share the state formula_30