PDX1 and familial pancreatic carcinoma: In another pancreatic cancer mouse model called KPC (Pdx1-Cre; lox-stop-lox-KrasG12D/+; lox-stop-lox-Trp53R172H/+) [14], deletion of α-SMA-positive cells diminishes animal survival [11].