TBX1 and Cyanosis: However, DA patency was not assessed in Tbx1 KO mice despite the cyanosis and neonatal lethality common in mouse models of PDA.117