[E]
P
P=[_]
P=[_,_|_]
P=[HP|TP]
P=[E]&N=1
