spec for a sum over a cartesian product passes