At a fixed parameter value t, assign each entire transformed clause polynomial (a factor) to one group g. Its value must depend only on the local assignment x_g and other groups' measurements. Changing an outside assignment while preserving its measurements must not change the factor. The paper ensures this by making each replacement input's outside dependence a linear combination of those measurements. Multiplying factors assigned to g gives a group weight A_g; use 1 if there are none. For an outside group {a,b} summarized by a+b, dependence only on a+b is allowed. Dependence on a alone generally is not: (0,1) and (1,0) share the summary but differ in a.