In order to further validate the inhibition of DYRK1A by CX-4945 in a higher-level organism, mice with three copies of the DYRK1A gene, which mimics the trisomy seen in DS, were used. Here, DYRK1A is linked to Dravet syndrome.