you should be able to use that Set in `Gossip.leaderOf` as well