“…See [P1], [P2], [Y], [HY1], [HY2], [F4, §27- §29], [M1], [M2] for more detail about basic properties of d ω and its generalizations. There is an omission in [P1] and [OP2]: the trace maps maps Tr x,z do not appear there in the definition of the map d ω at singular points x ∈ y; however, it is straightforward to extend the arguments on [P1] to this general situation.…”