(b -> x) & (a -> y)