Electron Theory and Quantum Electrodynamics