If the FDA approves cytisinicline for smoking cessation for marketing before Jul 1, 2027, then the market resolves to Yes.