TSC1 and Ataxia: As a yardstick of the full scale of cerebellum-specific impairment of gait, we used Purkinje cell-specific Tsc1-/- mice, which show cerebellar degeneration and ataxia (Tsai et al., 2012); L7Cre;Tsc1flox/flox).