SAT1 and cerebellar ataxia: 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).