Alice and Bob
are noiseless, and Alice and Bob have to correct for errors on the first formula_96