That was $433M with less information than they have now. To be clear, my personal bias is that there's some sort of graft or other major problem, and it would be worth $100M, but we might have also spent that money as a high-risk, high-reward endeavor and simply found out later that the rewards aren't worth it. That isn't even necessarily a bad outcome, if true.