Subject: Re: Musk tweet,
" The naturalization process takes a couple of years, so about 7 years after becoming a permanent resident (green card holder).

I expect most of them are not permanent residents yet."

Thank you.