Perhaps I should clarify it a bit, it means DS1 must coerce to DS2.