Work time reduction via a 4-day week finds improvements in workers' well-being