To study the infertility phenotype in more detail, we examined sperm migration into the oviduct using Armc12 KO male mice with red body green sperm (RBGS) transgenes that express enhanced green fluorescent protein in the acrosome and DsRed2 in the mitochondria (23). This evidence concerns the gene ARMC12 and Infertility.