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

Resolves YES iff AAA's July 16 U.S. regular average is strictly above $3.920. AAA documents a $3.8900 current national average and a $3.8590 prior-day average; another very large daily increase is the clean tail risk.