Debt has both monetary and opportunity costs. My point is that because of those costs and that I don't think that it's fair to say things would have turned out exactly the same minus the pension money, it's unfair to say they would still be red or by how much.