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]. This evidence concerns the gene EVC and Ellis Van Creveld syndrome.