Immunohistological staining using an anti-NeuN antibody was conducted to demonstrate the extent of cerebellar atrophy in Derl1NesCre and Derl2NesCre mice (Figure S2A). The gene discussed is RBFOX3; the disease is Cerebellar atrophy.