We also uncovered defective clotting and thrombocytopenia in our HRAS/NRASDKO mice, two features recently linked to RASopathy mutations in patients [35], as well as to a SHP2-deficient mouse model [7]. This evidence concerns the gene PTPN11 and Thrombocytopenia.