My brief experience with a four-day work week