Combinator SIGMA

combinator SIGMA