Like AC3 KO depression model mice, inducible IFT88 KO mice were found to have altered sleep patterns, which is a common phenotype in human depression patients26,39. The gene discussed is ADCY3; the disease is depressive symptom measurement.