image 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.