lexp1
lex P
lexp1