First sensible take I've seen in this thread. People especially seem to forget the consequences of #1: The company where everyone is working 0.5 days a week will almost certainly get outcompeted, very quickly, by the company where everyone is working 5 days a week. In fact company #2 can probably precompute company #1 even if they have much lower quality staff on average.