(subst
	(subst
		(succ (succ 1))
		[
			(2 (succ 1))
		]
	)
	[(succ 
		(\n(\f(\x (f ((n f) x)))))
	 )
	 (1
	        (\ff(\xx (ff xx)))
	 )
	 (0
	        (\ff(\xx xx))
	 )
	]
)