Productivity is defined revenue per worker hour. And we know worker hours are going down as there are fewer workers with the layoffs.