KRAS and mismatch repair cancer syndrome 1: Further, the proportions do not change if TP53 inactivation happens because currently, there is no such effect incorporated in our model for, e.g., increasing the mutation rate of TP53 after MMR deficiency or after KRAS activation.