Module all_to_b
This structure is used by any participant other than B to receive a choice given by B.