predecessor EXIST
Other encodings: data, plain