Shank3∆C mutants were chosen for this study as mice with Shank3 mutations recapitulate multiple features of ASD including deficits in social behavior, cognitive impairments, and key insomnia phenotypes such as sleeping less and delayed seep onset following SD [8, 17, 19, 21, 25, 35]. This evidence concerns the gene SHANK3 and insomnia.