Would we have been allowed to dedicate $2 trillion dollars to mathematicians doing this?