change satisfies all and xproduct variables to intersect