CHAT and depressive symptom measurement: Although anhedonia and social impairment are also associated with depression, ChAT-Cre;Hrh1fl/fl mice did not show aberrant features in the tail suspension test and forced swimming test, two classic measures of behavioral despair for rodents that are often used to evaluate the efficacy of antidepressants (Supplementary Fig. 7a, b).