[E]
N
N=s(0)
N=s(s(_))
N=s(TN)&HN=N
P=[E]
