ab.out x <= y & y <= z | z <= y & y <= x)) ]]> (x ^ y) v (y ^ z) = y & (x v y) ^ (y v z) = y)) ]]> x ^ y = x)) ]]> B(a,x,b))) ]]>