The Hoxd9–13 genes are thought to specify digit identity (see Figure 18.18). You wish to examine the effect of loss-of-function alleles in developing limbs. How would you construct a mouse in which the function of Hoxd9–13 is retained during anterior–posterior embryonic patterning but is absent from developing limbs?