DLG4 and depressive symptom measurement: To translate our findings from mouse models of depression to humans, we measured the protein levels of MBP, PSD95, and EphA4 in postmortem brain samples provided by the Stanley Medical Research Institute (Rockville, Maryland, USA).