People would have more leisure time if it weren’t for all the leisure-time activities that use it up.