Exons 3 through 6 were flanked by single loxP sites inserted into introns 2 and 6. In addition a neo cassette flanked by frt sites was inserted into intron 2, downstream of the loxP site. Mice carrying this allele were used to generate Stk11tm1.1Rdp and Stk11tm1.2Rdp.