If he’s in the process of getting citizenship, then he must be either getting his green card or already has it.