Exactly right. The best alternative I've seen implemented at companies is 9/80 where employees get every other Friday or Monday off, and half the employees get one week while half get the next. That way you still get an extra 2 useful days a month to get stuff done at home, but companies themselves are able to continue working 5 days a week.