Ovarian tumors in PRN mice are more aggressive than those of the m-sgPRN model as indicated by in situ multiplex immunofluorescence (IF) analysis to demonstrate knockout efficiency of Trp53, Rb1, and Nf1 in three models (m-sgPRN;Cdk12KO, m-sgPRN, and PRN)—making analysis of concomitant tumor suppressor gene inactivation (e.g., Cdk12) difficult (SI Appendix, Fig. S3A). The gene discussed is CDK12; the disease is ovarian neoplasm.