P[1(0,P[1(1,1)])(1,P[0(0,-1)])]
P[1(0,P[1(1,1)])(1,P[0(0,1)])]
