You note that the two firms we began talking about are both listed as industry leaders. Cedar Park is described as having revenues of $1.3 billion in 2021 and Six Flags as having revenues of $1.5 billion in 2021. Earlier in the report (Table 3) you note that revenues in the industry are estiated at $15.175 billion. What is the combined contribution of these two firms to this industry's HHI before a merger