AHI1 and depressive symptom measurement: Therefore, Ahi1 KO mice are a good genetic model of depression for pathologically mechanistic study.