undersequence
not defined yet