CD4 and infection: To identify NKT cells during infection of wild-type (WT) mice with P. yoelii 17XNL—a non-lethal, self-resolving rodent model of malaria—splenocytes were stained for CD4, TCR-β, and NK1.1.