If Tesla robotaxi service is offered to the general public in Florida before Jan 1, 2027, then the market resolves to Yes.