[]
P
P=[]
P=[_|_]
P=[HP|TP]
L=_
