HEY1 and Patent ductus arteriosus: We observed elevated levels of Hes1, Hey1, and Hey2 in KC mice compared to WT control samples, in accordance with previously published data showing Notch signaling upregulation in PanINs and PDA [4, 9, 10].