lex_e want to do (1)