public Gossip MergeSeen(Gossip that) { return Copy(overview: _overview.Copy(seen: _overview.Seen.Union(that._overview.Seen))); }