I think the pensions are a sizable part of their expenses. If they automate their retired workforce age out and there is no endless retirement pool to contribute to. So this would be a significant savings.