20180720 home.science: How a 4-day workweek can drive up efficiency