[PAR35]

Thank you. That case is quite helpful, if not fully dispositive.

[Cboldt]

Thanks for taking the time to read it. It establishes that Cruz is naturalized. There is no precedent that cuts the other way, on that question, and plenty that (using the facts of Cruz's birth) support the conclusion that Cruz was naturalized at birth.

Looks like settled law to me.

I get to the same place, just using the US constitution (no resort to Vattel, British common law, etc.).