An early apparent success rested on a sign error [46]. Carter’s amended version of the proof was subject to a certain inequality between the electric and the gravitational potential [50].