I feel like this is the correct response. I've seen so many people claiming that "office efficiency" is the most important thing, but the happiness of humans working remotely is such a massive gain. It creates a tradeoff where you're explicitly making employees much more miserable for mild gains in money for employers.