4-day work week: probably not a bad idea