ALDH7A1 and Dravet syndrome: Hence, this information, together with reduced levels of cAMP reported in one of the most-widely used models of DS, the Ts65Dn mouse [112], pushed some authors to study the implication of PDE activity in the pathophysiology of DS.