x
’àà
L
’àÄ
x
’àà
L
$
y B(x,y)=YES