 depends on the number of participating processes. As usual, processes are _asynchronous_ and potentially faulty. Using layered snapshot protocols, for which values of   can we devise a protocol that ensures that all nonfaulty processes choose distinct output names?  