PPM1F and depressive symptom measurement: Conditional knockout of AMPK revealed an antidepressant phenotype, which can also block depression‐related behaviors induced by PPM1F knockdown.