Counting rule: one first-order map and one second-order pair

rule: one first-order map and one second-order pair{ X-B-ST released the single first-vertex map $R_1(V_{1,g};\cdot )$, including its use on the first bare dressing, and proved the completed identity through ${\kappa }^1$.

X-C-ST releases $R_1(V_{2,g};\cdot )$ and $\frac{1}{2}{R}_2(V_{1,g},V_{1,g};\cdot )$. Their sum on $F_f$ represents the one inherited term $\int f{\rho }_{2,g}$. A successor citing both files receives one first-order map and one second-order pair, not two copies of the second scalar completion.}