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