xL
xL $y B(x,y)=YES