DYRK1A and Dravet syndrome: The Tc1 mouse model of DS carries a copy of human DYRK1A in addition to the endogenous mouse Dyrk1A gene and thus the model is trisomic for this gene (Supplementary Fig. S5).