Алиса и Боб
In the following, assume that Alice and Bob share the state formula_30