CDKN2A and Timothy syndrome: To verify these results in vivo, compound mutant mice with homozygous Cdkn2a deletion were used to establish an IVDD model involving TS.