3
k 0
m 1
p 2
m(p(k,p(p(k,k),p(k,k))))(k)
