Here, mice expressing Lox-STOP-Lox alleles of the KRASG12D oncogene and firefly luciferase were crossed with mice expressing floxed alleles of Tp53 (encoding p53) and/or Stk11 and/or Prkaa1 plus Prkaa2. To model non-small cell lung carcinoma, Cre-recombinase was delivered to the lungs by nasal inhalation of lentiviral vectors. The gene discussed is STK11; the disease is non-small cell lung carcinoma.