Microlocal operations and their boundaries

We use the standard wavefront criteria for products, pullbacks, and proper pushforwards. Their topological implementation must respect the relevant continuity or hypocontinuity hypotheses BDHintro,BDHops. These analytical tools are not substitutes for an undefined characteristic graph product.