. . . "We say that S is included in T if there is a sequence of delete" .