(x = 0) = y