PDE4A and depressive symptom measurement: When compared to wild-type (WT) mice, PDE4A KO or PDE4B KO mice proved anxiety characteristics along with higher corticosterone levels, while PDE4B KO mice also showed increased long-term depression [41–43].