However, the double knockout of Tet1/Tet2 or Tet1/Tet3 respectively causes exencephaly and holoprosencephaly in some embryos [135,187]. This evidence concerns the gene TET1 and holoprosencephaly.