 If all processes start with input 0, they must all decide 0, so the carrier map   carries input vertex   to output vertex  . Similarly,   carries input vertex   to output vertex  . If the processes have mixed inputs, then they can choose 