Unless we have a sustained period of cheap gas, “resetting” the market, I think we’d need to see something like gas prices hitting $6.30 in 2022 (up 172% from 2012 peaks), but in 2015 dollars. On a nominal basis, that’s probably going to be something like $7.15 in 2022 dollars. So it might not be quite $8-10/gallon,…