LY6K and Infertility: Although both Tex101−/− and Ly6k−/− mice can produce morphologically intact spermatozoa, both knockout mice show an infertile phenotype due to a disorder of spermatozoa to migrate into the oviduct.