TY - RPRT TI - Proving there is a leader without naming it AU - Laurent Feuilloley AU - Josef Erik Sedláček AU - Martin Slávik PY - 2025 UR - https://arxiv.org/abs/2511.15491 ID - 2511.15491 ER -