MGI:1341870Targeted heterozygous mutants with one inactivated allele develop benign gastrointestinal polyps. Homozygous null mutant are embryonic lethal. Homozygotes for a hypomorphic allele survive and apparently normal, but male mice are infertile.