AHI1 and depressive symptom measurement: All these findings supported that Ahi1 KO mice are a good depression model for screening therapeutic targets.