added sum, bigCap, bigCup