op(1,op(1,p))=(a+b^c) op(2,op(1,p))=(c+d) op(1,op(1,op(1,p)))=a+b^c op(2,op(2,op(1,op(1,op(1,p)))))=c