KRAS and adenoma: To investigate whether possible sequence variation as a result of Cre expression may impact PCR sensitivity, DNA was extracted from a formalin-fixed paraffin-embedded section of Kras+/Lox-G12D mouse lung tissue containing multiple adenomas as determined by histological analysis (Fig. S5A).