Embryos were then flushed from the oviducts of pregnant females at E2.5 or E3.5, and genotyped by means of a nested PCR strategy (Figure 4).