SHANK3 and depressive symptom measurement: These results demonstrate that a dmPFC 4–7 Hz power increase during social avoidance also occurs in depression model mice, similar to Shank3 KO mice.