PTEN and depressive symptom measurement: PTEN in the PFC is critical for depression-like behaviors in mice