3 ms·

I'm saying that even if the measure they use is imperfect, I wouldn't be surprised if "real productivity", however you define it, is also down.