s = { sum(y) = n | y in P(x) }