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