x = 1/3+2/3*(1+y), y = 2*(1+x)/3+(1+z)/3, z=1+y