Whereas the preceding arguments mirror those presented in GP, from this point onward we shall depart fully from GP and discuss specific features of the EF formalism, such as the U (1) gauge freedom and the equations of motion of the nuclear and electronic wavefunctions, which GP does not comment on.