Thus he’s a citizen.
**************
I didn’t know that there was a question about him being a US citizen.
I thought the question revolved around him being a natural born US citizen.
I wanted to compare and contrast 0 and Cruz, and start out categorizing them as to whether they had any sort of US citizenship to start with.
That would be the starting point for any further analysis.
If they go after Cruz for eligibility w.r.t. Natural born then it opens up questions about 0.