I first heard of Non Resident Aliens as a term for Ludicranians who didn't admit to being Ludicranian. It was only later that I heard of it as a category from the IRS.