Finally, the development of severe ataxia in Smox/Sat1-dKO mice was accompanied by accumulation of CD3+, CD4+, and CD8+ lymphocytes in the leptomeninges (Fig. 9d). This evidence concerns the gene CD4 and cerebellar ataxia.