let does_match x y = subset y x