Although the obesity and some behavioral traits have been recapitulated in Rai1-knockout mice, Rai1+/− mice “clearly differ from SMS patients” regarding their sleep and circadian rhythms [55]. The gene discussed is RAI1; the disease is obesity due to melanocortin 4 receptor deficiency.