x = 0 y = max(-inf, x, a) a = b b = c c = d d = e e = f f = y