(\exists x)B(x).