If the minimum temperature recorded at Miami for Jun 20, 2026, is between 76-77° fahrenheit according to the National Weather Service's Climatological Report (Daily), then the market resolves to Yes.