If the minimum temperature recorded at Miami (CLIMIA) for Aug 17, 2026, is between 79-80° fahrenheit according to The Weather Company, then the market resolves to Yes.