BCHE and depressive symptom measurement: Our result showed that the immobility time of BChE+/− and BChE−/− mice was significantly lower than that of the wild-type control group (Figure S5), indicating that BChE KO enhanced resistance to despair, BChE inhibition will possibly ameliorate the depression during PTSD treatment.