"SWE-bench Pro is completely independent. It's different authors. They just called it SWE-bench Pro without your blessing. I think we're okay with it."