 In fact, we're paying interest on the bonds that we sold them. So if I hear people, oh, I'm really worried about China. Well, they've got $800 billion of that debt. So what are you going to do about them? You're going to pay it off. You're going to pay them interest. So it's a terrible problem. And again,