. "subsum" . .