A floxed neo cassette was inserted into exon 1 in ES cells containing Xisttm4.1Nbd, which lacks exon 4. Cre-mediated recombination removed the neo cassette and inverts the sequence between the loxP site (including exon 3, exon 2, and the 3' portion of exon 1).