To keep symbols clear, let Z = {Z u |Z u = Z k l,p , ∀l, p, k} be the set of rst order variables, and where Z u and Z v are rst order variables: The denition of X u,v states that a second order variable is set to 1 if and only if its two component rst order variables are both set to 1.
it combines two corrections into a single correction.