y = min(0-1, z)
z = min(0, y+1)