TBX1 and 22q11.2 deletion syndrome: used heterozygous Tbx1 null mutant mice and demonstrated that haploinsufficiency results in the characteristic cardiopharyngeal phenotype, as seen in 22q11.2 deletion syndrome.