It doesn't look like they've found an error in the NL proof either, just that they are different?