 a better economic outcome. So they're boosting productivity. The downside is that company profits tend to decrease a little bit. Not always, but that's sort of the general trend. So you're getting more for the overall society, but a little bit less for the individual company.