Progress, progress. Production in the Permian punches out to new highs again. And the DOE brings forward one month, to July 2023, its forecast for when overall US production re-attains the pre-pandemic peak.