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