E − − S i j is a step operator, removing S i j from the i th element of its argument. For example, E − − S 23 f ( x 1 , x 2 , x 3 ) = f ( x 1 , x 2 − − S 23 , x 3 ) . This formalism will be useful later.