$y |=  $x
