@isaackuo
yeah, we just don’t know what it would have led to—but it seems likely that another hundred billion or so in investment in the last couple decades probably would have got us something
(and this is just talking about the routine US defence budget, not the mind-bogglingly extravagant expenditure on the wars in Iraq etc.)