contains(x,y) -> y in x