Alice and Bob
Both Alice and Bob have arrived at the same values because under mod p,