Idem: `visitors[vis] != null`