HIVEP2 and depressive symptom measurement: For example, the low pH/high lactate group included SZ model Nrgn KO mice, SZ/intellectual disability (ID) models Ppp3r1 KO mice and Hivep2 (also known as Shn2) KO mice, AD model APP-J20 Tg mice, ASD model Chd8 KO mice, and social defeat stress-induced depression model mice.