If all U.S.-licensed commercial launch providers cumulatively have Above 12 launches in Jul 2026, then the market resolves to Yes.