Gauge Properties of Propagators in Quantum Electrodynamics | Synapse