CTNNB1 and Down syndrome: This mouse model exhibits Ctnnb1 haploinsufficiency, the core molecular change predicted for individuals with CTNNB1 syndrome.