Section A: the compact classical interaction

If an insertion is multiplied by an independent spectator functional, the support of the entire multilocal product also includes that spectator's support. Only the additional interaction vertex is claimed to be supported in $\mathrm{supp}a$.