Yeah, that seems to fit with the impression I got from the papers. I'm not convinced that this can overcome the natural proof barrier but this looks more promising that other attacks I've seen. (Unfortunately this is potentially far enough from my own area of expertise that evaluating it in any great detail is probably going to be very difficult.)