PTEN and depressive symptom measurement: Although the FST is also considered as a measurement for stress response, not directly related to depression57, PTEN over-expression in the PFC increased such stress (Fig. 3d, i), which would promote the development of depression.