SHANK3 and depressive symptom measurement: In this study, we compared LFP signals from the dmPFC and BLA during an SI test among wild-type mice, Shank3 KO mice as a model of ASD, and socially defeated mice as a model of depression.