[]
P
P=[_]
P=[_,_|_]
P=[HP|TP]
P=[E]&L=[E|S]&S=/=[E|T]
