Email Record: Formal structure of electromagnetics :