“…Although, as has been pointed out [15], the derived exact semiclassical Dirac amplitude is not simply the exact amplitude for the excitation of a particular (correlated) electronpositron pair, there are observables, such as the total pair production cross section, that can be constructed straightforwardly from this derived amplitude [16,17,18,19]. This point has a long history of discussion in the literature [20,21,22,23].…”