Leader election interface.