No exact translation found for "conditional sum formula"