Explicit inherited premises

The microcausal condition just specified is the usual functional-derivative condition; see FR. We will prove the zero-charge consequence needed here, rather than infer it from the informal word “bulk.”