NOTCH1 and medical procedure: We tested these conditional GEMM of lung ADC to determine if Sox9 expression is an early event downstream of Notch1 signaling (Fig. 2A).