Correct. One of the things to look for is any time someone uses the term “the IP” they are being inaccurate. There is no “the IP” for Star Control. There are the trademarks and the copyrights, for various games in the series. They are not the same, and that’s the central fact in this dispute.