BMI1 and Ataxia: In the Bmi-1-deficient mouse model, a significantly small size and an ataxia phenotype were observed, and these phenotypes could be restored by intercrossing the BMI-1-deficient mice with Ink4a/Arf locus-deficient mice [57].