NO on Will average **gas prices** be above $3.930?

Resolves YES iff AAA's U.S. regular average on July 16 is strictly above $3.930. AAA reported $3.8900 current versus $3.8590 yesterday, a sharp rise but still short of the required next-day level; the clean tail risk is continued wholesale-price pass-through producing another unusually large daily rise.