comment: >
  
  I have my doubts - I've been looking for any records of his citizenship (under Santos) and haven't found any. I haven't checked his Devolder name or that other one he used yet...
context: Was he a US citizen for the required 7 years before running for Congress in 2022? How about 2020, supposedly the first time he ran.