Choose the formal product bits from the numerical recipe alone. Every tag has an incident component, so the indexed product theorem applies. For any actual realization of these data, the concrete atom expansion identifies its gradient matrix with the prescribed one. Bilinearity then turns the matrix row sums into the gradients of both full witness sums.