The prominently smaller mass of DS brains including the cerebellum is obvious compared to those in healthy individuals [132], which is recapitulated in DS mice models such as the Ts65Dn mice carrying the triplicated chromosomal region containing the Dyrk1A gene [133]. The gene discussed is DYRK1A; the disease is Dravet syndrome.