TRPA1 and depressive symptom measurement: We applied the widely used and well-characterized CVMS model of depression in Trpa1 KO and WT mice.