Why allow a default for serviceName? If it's necessary, it seems like it should be required. If it's not necessary, is it even useful? Best I can tell, it's just a convenience to help differentiate leader services, but the leaderPath seems like a more reliable differentiator.