Mice deficient for soluble adenylyl cyclase are infertile because of a severe sperm-motility defect.