Big operators with two mandatory arguments