We give an exposition of Horowitz and Shelah’s proof that there exists an effectively Borel maximal eventually different family (working in ZF or less) and announce two related theorems.