That's a different program. And that $10B (actually $6B, and even that $6B will be split among 4 companies) hasn't actually been awarded. Jeff has put $

That's a different program. And that $10B (actually $6B, and even that $6B will be split among 4 companies) hasn't actually been awarded. Jeff has put $9B of his own money to Blue Origin so far.