backward NOT EXIST AND precursor NOT EXIST

Other encodings: data, plain