Succ (Succ Zero)



Succ (Succ (Succ Zero))



Succ (Succ Zero)



unknown variable two