If Citigroup serves as a lead underwriter for SpaceX's initial public offering in the United States before ||date||, then the market resolves to Yes. The bank must serve as lead underwriter, book-running manager, or global coordinator as documented in SEC filings (Form S-1 or final prospectus) or official announcements. Joint book-running managers qualify. Direct listings, SPAC mergers, secondary offerings, and private placements do not qualify. If the bank merges with another institution, the surviving entity under any name qualifies. For dual listings, only the U.S. portion is considered. Even if the IPO is later shelved, the market resolves Yes based on the announcement of the underwriting relationship. This market will close and expire early if the IPO underwriting is announced.