I guess theres no harm in them both being sets. The reporter needs it's internal representation to be a set to prevent itself sending duplicate messages, but theres no harm this being one too.