Decode the incidence subsets at a variable-group vertex. For each original variable v, let b_v be the number of its selected incidences across tests. After identifying all copies with x_v, the monomial contributes x_v^(b_v). A positive b_v forces x_v=1 for a nonzero contribution; b_v=0 leaves x_v free, contributing two. Thus this vertex entry is 2^(number of variables in the group with b_v=0), reduced modulo 2^(n+1). It includes free variables absent from every scope. The rule concerns a monomial contribution, not satisfaction of a test by itself. An invalid subset index again gives entry zero.