Hence, there was a pressing need for a model of NOTCH1 haploinsufficiency for mechanistic studies of CAVD. The gene discussed is NOTCH1; the disease is congenital bilateral aplasia of vas deferens from CFTR mutation.