Now hours per person are shrinking, first because of the retirement of the baby boomers, and second because there's been a very significant dropping out of the labor force of prime age adult males who are in the bottom half of the educational distribution.