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