An early apparent success rested on a sign error [29]. Carter's amended version of the proof was subject to a certain
inequality between the electric and the gravitational potential [32]. The origin of this inequality has become clear only recently;
the particular combination of the potentials arises naturally in
the dimensional reduction of the EM system with respect to a
time-like Killing field.