Comment on Bernie Sanders says that if AI makes us so productive, we should get a 4-day work week