Ted Cruz is already double that, and probably close to 20%.
But why do you care? There’s no national primary?
One of the Cruz folks has made it clear it isn’t a big deal that Trump is as 31% and Cruz at 16% nationally.