CTCF and Encephalocele: As a positive control, we also re-targeted the CTCF cluster C1-C4 which, as expected, resulted in encephalocele in embryos carrying the C1-C4Δ allele (Fig. 5D).