let is_included d1 d2 = combine d1 d2 = d2