It is uncertain whether the male infertility in IP6K1 KOs is dependent on 5-IP7 or IP8, both products of IP6K1. The gene discussed is IP6K1; the disease is male infertility.