Murine models have been utilized to study KRAS and other genes involved with PC progression, including TP53, SMAD4, and CDKN2A (14, 18, 19, 21). This evidence concerns the gene TP53 and pachyonychia congenita.