"If Ronaldo officially scores 1,000 goals before December 31 at 23:59 (UTC), the market will settle as ‘Yes.’ In all other cases, the market will settle as ‘No.’ The resolution source for this market will be public information sources or an official press release."