Exon 4, which encodes the homeodomain of the protein product, was floxed by the insertion of a loxP site on one end and a loxP site and frt-flanked neo cassette on the other end. Recombinase-mediated recombination of This allele was used to generate Isl1tm4Sev removed the neo cassette and exon 4.