If EIA reports that Kentucky’s total coal production for calendar year 2027 is above 20 million short tons, then the market resolves to Yes.