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 i

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.