def __init__(self,dom=2):
WeightedOperation.__init__(self,2,dom,
[Projection(2,dom,0), Projection(2,dom,1),
MinMax(2,[[0,1]],dom),
MinMax(2,[[0],[1]],dom)],
[-1,-1,1,1])
