This card broke the record for Mike Schmidt cards, but there are two other guys on there. So does that mean this is the most expensive Ron Cey card ever or does it not count for him because the hobby has deemed this as Schmidt?

whats the ruling?

https://x.com/goldinco/status/1857990409798169071?s=46