Thus, β-cat het mice display core behavioral features associated with human CTNNB1 syndrome, establishing it as a valuable preclinical in vivo model for identifying pathological changes caused by Ctnnb1 haploinsufficiency and corrective therapeutic strategies. The gene discussed is CTNNB1; the disease is Down syndrome.