ADAM17 and Infertility: Based on these findings in mice models, we hypothesized that some infertile men that have the same phenotype as the tACE−/− mice, i.e. normal semen parameters (number, motility and morphology) and a defect of their spermatozoa to bind to the ZP in an in vitro fertilization cycle, may have a tACE defect.