However, from his once rejected notes he managed to work on putting quantum electrodynamics on "logical foundations" based on Hamiltonian formalism that he formulated. He found a rather novel way of deriving the anomalous magnetic moment "Schwinger term" and also the Lamb shift, afresh in 1963, using the Heisenberg picture and without using the joining method used by Weisskopf and French, and by the two pioneers of modern QED, Schwinger and Feynman. That was two years before the Tomonaga–Schwinger–Feynman QED was given formal recognition by an award of the Nobel Prize for physics.