And US law says that Cruz is a naturalized citizen per the Immigration & Nationality Acts of 1952 & 1965.
“Having extensively reviewed all articles cited in this opinion, as well as many others, this Court holds, consistent with the common law precedent and statutory history, that a ‘natural born citizen’ includes any person who is a United States citizen from birth,” wrote Judge Dan Pellegrini in a written opinion issued after denied the petition at a hearing Thursday.
A completely different issue than the one I was responding to.