PDE4D and depressive symptom measurement: Similarly, Pde4d KO mice demonstrate reduced immobility in behavioral despair models, which may relate to depression and affective symptoms occasionally co-occurring in ASD [59,60].