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]. The gene discussed is PTPN11; the disease is RASopathy.