Immunohistochemistry staining of tumor sections from these mice revealed some level of expression of ADAMTS12 in the region surrounding the adenoma, but not in the highly-proliferative Ki-67+ cells (Supplementary Fig. 18). The gene discussed is MKI67; the disease is adenoma.