About the coordinator Proposer

Hello Daniele, thanks for your work on libpaxos.

I am running the samples, take a glance at the source. It seems the libpaxos doesnot support coordinator proposer elect or take-over method, so I can only run one proposer else none value will be accepted and delievered, which seems like the commonly known live-lock. I want to comfirm does my thoughs right？

Thanks and waiting for you feed back!