If the FDA's decision on Cytisinicline by Achieve Life Sciences in June 2026 is Denied (CRL Issued) before Jul 1, 2026, the market resolves to Yes.