lex almost complete