Title: QED and Symbolic QED