Move to lex-exists182