quantum constraints, Haag-Kastler axioms, local net, 
local quantum field theory, Gupta-Bleuler electromagnetism