Many processes may believe they are leaders, but the protocol only guarantees progress if one of them is eventually chosen.
Многие процессы могут верить, что они являются лидерами, но протокол гарантирует прогресс только в том случае, если один из них в конечном итоге будет выбран.