Thus, two CCP1 mutants (i.e., Ataxia and Male Sterility [AMS] mice and Nna1 knockout [KO] mice) are used as disease models. This evidence concerns the gene AGTPBP1 and cerebellar ataxia.