That is about average for a recovery. It's above the recovery we saw in the early '90s, but significantly below the recovery we saw in the early '80s. So it's a very sort of plausible forecast.