EVC and Ellis-van Creveld syndrome: For instance, mutations in EVC and DHCR7 result in heart defects in humans (Ellis van Creveld Syndrome, OMIM 225500, Smith-Lemli-Opitz syndrome OMIM 270400) but not in the mouse [33], [50], [51].