Proper lexer