Fair. I think that was for HLS rather than the launch systems, but I guess if it’s already been disbursed, it’s probably all commingled.

But that still means it’s not just taxpayer money, it’s mostly theirs. They’ve been raising equity rounds this whole time.