added negations of subseq functions