y_0 \not \in B