KRAS and lung adenocarcinoma: To this end, we bred Ciclox/lox mice (Simón-Carrasco et al, 2017) with the Kras+/LSLG12Vgeo;Trp53lox/lox (KP) strain known to develop aggressive lung adenocarcinomas upon Cre-mediated recombination (Fig. 1A) (Drosten et al, 2017).