I believe the loan is only guaranteed by the state, but the terms say that the state will own all IP given a default. I'm willing to bet we'd be legally obligat

I believe the loan is only guaranteed by the state, but the terms say that the state will own all IP given a default. I'm willing to bet we'd be legally obligated to sell it to help cover the bonds. I know very little about finance, though, so take this with a grain of salt.