( op2 . ({},{}) = {} & op1 . {} = {} & op0 = {} )