These included two mutations from F11, which induce Factor XI (FXI) deficiency;[30] two mutations from TP53, which induce human cancer;[31] one mutation from KCNC3, which induces familial ataxia;[32] and one mutation from MYH7, which induces hypertrophic cardiomyopathy.[33, 34] SpCas9 was used for comparison. The gene discussed is KCNC3; the disease is factor XI measurement.