backward NOT EXIST AND precursor NOT EXIST