began spec for quantified sums