... I mean do we get to Mars? ...
... that he's talking about, $7 trillion – $8 trillion before we even get to the deficit ...