Conditional inactivation of the Hey1 gene. (A) The targeting construct ...