If the total precipitation at KAUS in Austin in Jul 4, 2026 is strictly greater than 0 inches, then the market resolves to Yes.