"As for the Resident Alien adult, he's toast and we can refuse his entry and strip his residency with ease."
I did not see a resident alien. I saw a naturalized citizen. There are ways to revoke citizenship of a naturalized citizen, but not as easy as yanking permanent residence privilege.
Like I said, it was from the previous thread.