[Dylan16807]

So what if there's an impact on productivity? Productivity has increased far more than necessary since the last time we adjusted typical hours.

I'd compare it to getting rid of smaller coins. Sure, it would cause some rounding hassle, but the last time we got rid of a coin the smallest remaining one was worth more than a 2020 quarter.

It seems pretty obvious to me, based on the non-linear utility of money, that as productivity increases the ideal work week shrinks. Is that not a good enough sketch of a proof?