Prereqs work with product of sums