So what you're saying is that when people have more guaranteed income uncoupled from a job they have to do, in this case in the form of a retirement, they can and do choose to do lots of meaningful, enjoyable work? Which I think is the original point in this discussion?